Language: C++

#include <bits/stdc++.h>

using namespace std;

using ll = long long;
using ull = unsigned long long;

// 最初に思いついた嘘
	// 両隣のxorを求める問題
	// 両隣のxorということは、今と1つ前のxorが次の値になる
	// つまりはシミュレーションをすれば良い

// 2番目
	// 以下の3条件を満たす
	// 数値が3種類のみ
	// x ^ y == zがなりたっている
	// それぞれの数値の個数がn/3 or n/3+1である


// 修正版
	// 0を考慮しろ
int main(int argc, char const *argv[]) {
	int n;
	std::cin >> n;
	std::map<int, int> m;
	for (size_t i = 0; i < n; i++) {
		int tmp;
		std::cin >> tmp;
		if (m[tmp] == 0) {
			m[tmp] = 1;
		}
		else {
			m[tmp]++;
		}
	}

	// 数値が1種類かつ0である
	if (m.size() == 1) {
		auto itr = m.begin();
		if (itr->first == 0) {
			std::cout << "Yes" << '\n';
			return 0;
		}
		else {
			std::cout << "No" << '\n';
			return 0;
		}
	}

	// 数値が2種類、かつ、2n/3がxでn/3が0
	if (m.size() == 2) {
		auto itr1 = m.begin();
		auto itr2 = itr1 + 1;
		if (itr1->first == 0) {
			if (itr1->second == n/3) {
				std::cout << "Yes" << '\n';
				return 0;
			}
		}
		if (itr2->first == 0) {
			if (itr2->second == n/3) {
				std::cout << "Yes" << '\n';
				return 0;
			}
		}

		std::cout << "No" << '\n';
		return 0;
	}

	// 数値が3種類のみか
	if (m.size() != 3) {
		std::cout << "No" << '\n';
		return 0;
	}

	// x ^ y == zが成り立っているか
	int xyz[3];
	int i = 0;
	for (auto itr = m.begin(); itr != m.end(); itr++) {
		xyz[i] = itr->first;
		i++;
		// それぞれの数値の個数が n/3 or n/3+1か
		if (!(itr->second == n/3 || itr->second == n/3+1)) {
			std::cout << "No" << '\n';
			return 0;
		}
	}
	if (xyz[0] ^ xyz[1] != xyz[2]) {
		std::cout << "No" << '\n';
		return 0;
	}

	std::cout << "Yes" << '\n';
	return 0;
}


Compiler output:
a.cc: In function 'int main(int, const char**)':
a.cc:53:34: error: no match for 'operator+' (operand types are 'std::_Rb_tree_iterator<std::pair<const int, int> >' and 'int')
   53 |                 auto itr2 = itr1 + 1;
      |                             ~~~~ ^ ~
      |                             |      |
      |                             |      int
      |                             std::_Rb_tree_iterator<std::pair<const int, int> >
In file included from /usr/include/c++/14/bits/stl_algobase.h:67,
                 from /usr/include/c++/14/algorithm:60,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:51,
                 from a.cc:1:
/usr/include/c++/14/bits/stl_iterator.h:627:5: note: candidate: 'template<class _Iterator> constexpr std::reverse_iterator<_Iterator> std::operator+(typename reverse_iterator<_Iterator>::difference_type, const reverse_iterator<_Iterator>&)'
  627 |     operator+(typename reverse_iterator<_Iterator>::difference_type __n,
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_iterator.h:627:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   mismatched types 'const std::reverse_iterator<_Iterator>' and 'int'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/stl_iterator.h:1798:5: note: candidate: 'template<class _Iterator> constexpr std::move_iterator<_IteratorL> std::operator+(typename move_iterator<_IteratorL>::difference_type, const move_iterator<_IteratorL>&)'
 1798 |     operator+(typename move_iterator<_Iterator>::difference_type __n,
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_iterator.h:1798:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   mismatched types 'const std::move_iterator<_IteratorL>' and 'int'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
In file included from /usr/include/c++/14/string:54,
                 from /usr/include/c++/14/bitset:52,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:52:
/usr/include/c++/14/bits/basic_string.h:3598:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(const __cxx11::basic_string<_CharT, _Traits, _Allocator>&, const __cxx11::basic_string<_CharT, _Traits, _Allocator>&)'
 3598 |     operator+(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3598:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   'std::_Rb_tree_iterator<std::pair<const int, int> >' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/basic_string.h:3616:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(const _CharT*, const __cxx11::basic_string<_CharT, _Traits, _Allocator>&)'
 3616 |     operator+(const _CharT* __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3616:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   mismatched types 'const _CharT*' and 'std::_Rb_tree_iterator<std::pair<const int, int> >'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/basic_string.h:3635:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(_CharT, const __cxx11::basic_string<_CharT, _Traits, _Allocator>&)'
 3635 |     operator+(_CharT __lhs, const basic_string<_CharT,_Traits,_Alloc>& __rhs)
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3635:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   mismatched types 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>' and 'int'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/basic_string.h:3652:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(const __cxx11::basic_string<_CharT, _Traits, _Allocator>&, const _CharT*)'
 3652 |     operator+(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3652:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   'std::_Rb_tree_iterator<std::pair<const int, int> >' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/basic_string.h:3670:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(const __cxx11::basic_string<_CharT, _Traits, _Allocator>&, _CharT)'
 3670 |     operator+(const basic_string<_CharT, _Traits, _Alloc>& __lhs, _CharT __rhs)
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3670:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   'std::_Rb_tree_iterator<std::pair<const int, int> >' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/basic_string.h:3682:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(__cxx11::basic_string<_CharT, _Traits, _Allocator>&&, const __cxx11::basic_string<_CharT, _Traits, _Allocator>&)'
 3682 |     operator+(basic_string<_CharT, _Traits, _Alloc>&& __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3682:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   'std::_Rb_tree_iterator<std::pair<const int, int> >' is not derived from 'std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/basic_string.h:3689:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(const __cxx11::basic_string<_CharT, _Traits, _Allocator>&, __cxx11::basic_string<_CharT, _Traits, _Allocator>&&)'
 3689 |     operator+(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3689:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   'std::_Rb_tree_iterator<std::pair<const int, int> >' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/basic_string.h:3696:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(__cxx11::basic_string<_CharT, _Traits, _Allocator>&&, __cxx11::basic_string<_CharT, _Traits, _Allocator>&&)'
 3696 |     operator+(basic_string<_CharT, _Traits, _Alloc>&& __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3696:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   'std::_Rb_tree_iterator<std::pair<const int, int> >' is not derived from 'std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/basic_string.h:3719:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(const _CharT*, __cxx11::basic_string<_CharT, _Traits, _Allocator>&&)'
 3719 |     operator+(const _CharT* __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3719:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   mismatched types 'const _CharT*' and 'std::_Rb_tree_iterator<std::pair<const int, int> >'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/basic_string.h:3726:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(_CharT, __cxx11::basic_string<_CharT, _Traits, _Allocator>&&)'
 3726 |     operator+(_CharT __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3726:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   mismatched types 'std::__cxx11::basic_string<_CharT, _Traits, _Allocator>' and 'int'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/basic_string.h:3733:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(__cxx11::basic_string<_CharT, _Traits, _Allocator>&&, const _CharT*)'
 3733 |     operator+(basic_string<_CharT, _Traits, _Alloc>&& __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3733:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   'std::_Rb_tree_iterator<std::pair<const int, int> >' is not derived from 'std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
   53 |                 auto itr2 = itr1 + 1;
      |                                    ^
/usr/include/c++/14/bits/basic_string.h:3740:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::__cxx11::basic_string<_CharT, _Traits, _Allocator> std::operator+(__cxx11::basic_string<_CharT, _Traits, _Allocator>&&, _CharT)'
 3740 |     operator+(basic_string<_CharT, _Traits, _Alloc>&& __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3740:5: note:   template argument deduction/substitution failed:
a.cc:53:36: note:   'std::_Rb_tree_itera