Stay ahead of learning milestones! Enroll in a class over the summer!

G
Topic
First Poster
Last Poster
k a May Highlights and 2025 AoPS Online Class Information
jlacosta   0
May 1, 2025
May is an exciting month! National MATHCOUNTS is the second week of May in Washington D.C. and our Founder, Richard Rusczyk will be presenting a seminar, Preparing Strong Math Students for College and Careers, on May 11th.

Are you interested in working towards MATHCOUNTS and don’t know where to start? We have you covered! If you have taken Prealgebra, then you are ready for MATHCOUNTS/AMC 8 Basics. Already aiming for State or National MATHCOUNTS and harder AMC 8 problems? Then our MATHCOUNTS/AMC 8 Advanced course is for you.

Summer camps are starting next month at the Virtual Campus in math and language arts that are 2 - to 4 - weeks in duration. Spaces are still available - don’t miss your chance to have an enriching summer experience. There are middle and high school competition math camps as well as Math Beasts camps that review key topics coupled with fun explorations covering areas such as graph theory (Math Beasts Camp 6), cryptography (Math Beasts Camp 7-8), and topology (Math Beasts Camp 8-9)!

Be sure to mark your calendars for the following upcoming events:
[list][*]May 9th, 4:30pm PT/7:30pm ET, Casework 2: Overwhelming Evidence — A Text Adventure, a game where participants will work together to navigate the map, solve puzzles, and win! All are welcome.
[*]May 19th, 4:30pm PT/7:30pm ET, What's Next After Beast Academy?, designed for students finishing Beast Academy and ready for Prealgebra 1.
[*]May 20th, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 1 Math Jam, Problems 1 to 4, join the Canada/USA Mathcamp staff for this exciting Math Jam, where they discuss solutions to Problems 1 to 4 of the 2025 Mathcamp Qualifying Quiz!
[*]May 21st, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 2 Math Jam, Problems 5 and 6, Canada/USA Mathcamp staff will discuss solutions to Problems 5 and 6 of the 2025 Mathcamp Qualifying Quiz![/list]
Our full course list for upcoming classes is below:
All classes run 7:30pm-8:45pm ET/4:30pm - 5:45pm PT unless otherwise noted.

Introductory: Grades 5-10

Prealgebra 1 Self-Paced

Prealgebra 1
Tuesday, May 13 - Aug 26
Thursday, May 29 - Sep 11
Sunday, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
Wednesday, Jul 16 - Oct 29

Prealgebra 2 Self-Paced

Prealgebra 2
Wednesday, May 7 - Aug 20
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
Friday, Jul 25 - Nov 21

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Sunday, May 11 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, May 14 - Aug 27
Friday, May 30 - Sep 26
Monday, Jun 2 - Sep 22
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
Tuesday, Jul 15 - Oct 28

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Thursday, May 15 - Jul 31
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Wednesday, Jul 9 - Sep 24
Sunday, Jul 27 - Oct 19

Introduction to Number Theory
Friday, May 9 - Aug 1
Wednesday, May 21 - Aug 6
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
Tuesday, Jul 15 - Sep 30

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
Sunday, May 11 - Nov 9
Tuesday, May 20 - Oct 28
Monday, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
Monday, Jul 14 - Jan 19

Paradoxes and Infinity
Mon, Tue, Wed, & Thurs, Jul 14 - Jul 16 (meets every day of the week!)

Intermediate: Grades 8-12

Intermediate Algebra
Sunday, Jun 1 - Nov 23
Tuesday, Jun 10 - Nov 18
Wednesday, Jun 25 - Dec 10
Sunday, Jul 13 - Jan 18
Thursday, Jul 24 - Jan 22

Intermediate Counting & Probability
Wednesday, May 21 - Sep 17
Sunday, Jun 22 - Nov 2

Intermediate Number Theory
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
Friday, May 16 - Oct 24
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

Calculus
Tuesday, May 27 - Nov 11
Wednesday, Jun 25 - Dec 17

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
Friday, May 23 - Aug 15
Monday, Jun 2 - Aug 18
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

MATHCOUNTS/AMC 8 Advanced
Sunday, May 11 - Aug 10
Tuesday, May 27 - Aug 12
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Problem Series
Friday, May 9 - Aug 1
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Tuesday, Jun 17 - Sep 2
Sunday, Jun 22 - Sep 21 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Jun 23 - Sep 15
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Final Fives
Sunday, May 11 - Jun 8
Tuesday, May 27 - Jun 17
Monday, Jun 30 - Jul 21

AMC 12 Problem Series
Tuesday, May 27 - Aug 12
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Wednesday, Aug 6 - Oct 22

AMC 12 Final Fives
Sunday, May 18 - Jun 15

AIME Problem Series A
Thursday, May 22 - Jul 31

AIME Problem Series B
Sunday, Jun 22 - Sep 21

F=ma Problem Series
Wednesday, Jun 11 - Aug 27

WOOT Programs
Visit the pages linked for full schedule details for each of these programs!


MathWOOT Level 1
MathWOOT Level 2
ChemWOOT
CodeWOOT
PhysicsWOOT

Programming

Introduction to Programming with Python
Thursday, May 22 - Aug 7
Sunday, Jun 15 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Tuesday, Jun 17 - Sep 2
Monday, Jun 30 - Sep 22

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22

USACO Bronze Problem Series
Tuesday, May 13 - Jul 29
Sunday, Jun 22 - Sep 1

Physics

Introduction to Physics
Wednesday, May 21 - Aug 6
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15

Physics 1: Mechanics
Thursday, May 22 - Oct 30
Monday, Jun 23 - Dec 15

Relativity
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
May 1, 2025
0 replies
k i Adding contests to the Contest Collections
dcouchman   1
N Apr 5, 2023 by v_Enhance
Want to help AoPS remain a valuable Olympiad resource? Help us add contests to AoPS's Contest Collections.

Find instructions and a list of contests to add here: https://artofproblemsolving.com/community/c40244h1064480_contests_to_add
1 reply
dcouchman
Sep 9, 2019
v_Enhance
Apr 5, 2023
k i Zero tolerance
ZetaX   49
N May 4, 2019 by NoDealsHere
Source: Use your common sense! (enough is enough)
Some users don't want to learn, some other simply ignore advises.
But please follow the following guideline:


To make it short: ALWAYS USE YOUR COMMON SENSE IF POSTING!
If you don't have common sense, don't post.


More specifically:

For new threads:


a) Good, meaningful title:
The title has to say what the problem is about in best way possible.
If that title occured already, it's definitely bad. And contest names aren't good either.
That's in fact a requirement for being able to search old problems.

Examples:
Bad titles:
- "Hard"/"Medium"/"Easy" (if you find it so cool how hard/easy it is, tell it in the post and use a title that tells us the problem)
- "Number Theory" (hey guy, guess why this forum's named that way¿ and is it the only such problem on earth¿)
- "Fibonacci" (there are millions of Fibonacci problems out there, all posted and named the same...)
- "Chinese TST 2003" (does this say anything about the problem¿)
Good titles:
- "On divisors of a³+2b³+4c³-6abc"
- "Number of solutions to x²+y²=6z²"
- "Fibonacci numbers are never squares"


b) Use search function:
Before posting a "new" problem spend at least two, better five, minutes to look if this problem was posted before. If it was, don't repost it. If you have anything important to say on topic, post it in one of the older threads.
If the thread is locked cause of this, use search function.

Update (by Amir Hossein). The best way to search for two keywords in AoPS is to input
[code]+"first keyword" +"second keyword"[/code]
so that any post containing both strings "first word" and "second form".


c) Good problem statement:
Some recent really bad post was:
[quote]$lim_{n\to 1}^{+\infty}\frac{1}{n}-lnn$[/quote]
It contains no question and no answer.
If you do this, too, you are on the best way to get your thread deleted. Write everything clearly, define where your variables come from (and define the "natural" numbers if used). Additionally read your post at least twice before submitting. After you sent it, read it again and use the Edit-Button if necessary to correct errors.


For answers to already existing threads:


d) Of any interest and with content:
Don't post things that are more trivial than completely obvious. For example, if the question is to solve $x^{3}+y^{3}=z^{3}$, do not answer with "$x=y=z=0$ is a solution" only. Either you post any kind of proof or at least something unexpected (like "$x=1337, y=481, z=42$ is the smallest solution). Someone that does not see that $x=y=z=0$ is a solution of the above without your post is completely wrong here, this is an IMO-level forum.
Similar, posting "I have solved this problem" but not posting anything else is not welcome; it even looks that you just want to show off what a genius you are.

e) Well written and checked answers:
Like c) for new threads, check your solutions at least twice for mistakes. And after sending, read it again and use the Edit-Button if necessary to correct errors.



To repeat it: ALWAYS USE YOUR COMMON SENSE IF POSTING!


Everything definitely out of range of common sense will be locked or deleted (exept for new users having less than about 42 posts, they are newbies and need/get some time to learn).

The above rules will be applied from next monday (5. march of 2007).
Feel free to discuss on this here.
49 replies
ZetaX
Feb 27, 2007
NoDealsHere
May 4, 2019
Inequality with rational function
MathMystic33   2
N a minute ago by RagvaloD
Source: Macedonian Mathematical Olympiad 2025 Problem 2
Let \( n > 2 \) be an integer, \( k > 1 \) a real number, and \( x_1, x_2, \ldots, x_n \) be positive real numbers such that \( x_1 \cdot x_2 \cdots x_n = 1 \). Prove that:

\[
\frac{1 + x_1^k}{1 + x_2} + \frac{1 + x_2^k}{1 + x_3} + \cdots + \frac{1 + x_n^k}{1 + x_1} \geq n.
\]
When does equality hold?
2 replies
+1 w
MathMystic33
2 hours ago
RagvaloD
a minute ago
Circumcircle of MUV tangent to two circles at once
MathMystic33   1
N 2 minutes ago by ariopro1387
Source: Macedonian Mathematical Olympiad 2025 Problem 1
Given is an acute triangle \( \triangle ABC \) with \( AB < AC \). Let \( M \) be the midpoint of side \( BC \), and let \( X \) and \( Y \) be points on segments \( BM \) and \( CM \), respectively, such that \( BX = CY \). Let \( \omega_1 \) be the circumcircle of \( \triangle ABX \), and \( \omega_2 \) the circumcircle of \( \triangle ACY \). The common tangent \( t \) to \( \omega_1 \) and \( \omega_2 \), which lies closer to point \( A \), touches \( \omega_1 \) and \( \omega_2 \) at points \( P \) and \( Q \), respectively. Let the line \( MP \) intersect \( \omega_1 \) again at \( U \), and the line \( MQ \) intersect \( \omega_2 \) again at \( V \). Prove that the circumcircle of triangle \( \triangle MUV \) is tangent to both \( \omega_1 \) and \( \omega_2 \).
1 reply
MathMystic33
2 hours ago
ariopro1387
2 minutes ago
A cyclic weighted inequality
MathMystic33   1
N 8 minutes ago by ehuseyinyigit
Source: 2024 Macedonian Team Selection Test P2
Let $u,v,w$ be positive real numbers. Prove that there exists a cyclic permutation $(x,y,z)$ of $(u,v,w)$ such that for all positive real numbers $a,b,c$ the following holds:
\[
\frac{a}{x\,a + y\,b + z\,c}
\;+\;
\frac{b}{x\,b + y\,c + z\,a}
\;+\;
\frac{c}{x\,c + y\,a + z\,b}
\;\ge\;
\frac{3}{x + y + z}.
\]
1 reply
MathMystic33
38 minutes ago
ehuseyinyigit
8 minutes ago
Bears making swams
NO_SQUARES   0
16 minutes ago
Source: Regional Stage of ARO 2025 11.7
There are several bears living on the $2025$ islands of the Arctic Ocean. Every bear sometimes swims from one island to another. It turned out that every bear made at least one swim in a year, but no two bears made equal swams. At the same time, exactly one swim was made between each two islands $A$ and $B$: either from $A$ to $B$ or from $B$ to $A$. Prove that there were no bears on some island at the beginning and at the end of the year.
A. Kuznetsov
0 replies
NO_SQUARES
16 minutes ago
0 replies
((n-1)!-n)(n-2)!=m(m-2)
NO_SQUARES   0
22 minutes ago
Source: Regional Stage of ARO 2025 9.5=11.4
Find all pairs of integer numbers $m$ and $n>2$ such that $((n-1)!-n)(n-2)!=m(m-2)$.
A. Kuznetsov
0 replies
NO_SQUARES
22 minutes ago
0 replies
Perfect squares imply GCD is a perfect square
MathMystic33   0
22 minutes ago
Source: 2024 Macedonian Team Selection Test P6
Let \(a,b\) be positive integers such that \(a+1\), \(b+1\), and \(ab\) are perfect squares. Prove that $\gcd(a,b)+1$ is also a perfect square.
0 replies
MathMystic33
22 minutes ago
0 replies
Maximum number of edge‐colors for strong monochromatic connectivity
MathMystic33   0
25 minutes ago
Source: 2024 Macedonian Team Selection Test P5
Let \(P\) be a convex polyhedron with the following properties:
1) \(P\) has exactly \(666\) edges.
2) The degrees of all vertices of \(P\) differ by at most \(1\).
3) There is an edge‐coloring of \(P\) with \(k\) colors such that for each color \(c\) and any two distinct vertices \(V_1,V_2\), there exists a path from \(V_1\) to \(V_2\) all of whose edges have color \(c\).
Determine the largest positive integer \(k\) for which such a polyhedron \(P\) exists.
0 replies
MathMystic33
25 minutes ago
0 replies
Functional equation with extra divisibility condition
MathMystic33   1
N 25 minutes ago by grupyorum
Source: 2025 Macedonian Team Selection Test P4
Find all functions $f:\mathbb{N}_0\to\mathbb{N}$ such that
1) \(f(a)\) divides \(a\) for every \(a\in\mathbb{N}_0\), and
2) for all \(a,b,k\in\mathbb{N}_0\) we have
\[
    f\bigl(f(a)+kb\bigr)\;=\;f\bigl(a + k\,f(b)\bigr).
  \]
1 reply
1 viewing
MathMystic33
2 hours ago
grupyorum
25 minutes ago
Concurrency of tangent touchpoint lines on thales circles
MathMystic33   0
28 minutes ago
Source: 2024 Macedonian Team Selection Test P4
Let $\triangle ABC$ be an acute scalene triangle. Denote by $k_A$ the circle with diameter $BC$, and let $B_A,C_A$ be the contact points of the tangents from $A$ to $k_A$, chosen so that $B$ and $B_A$ lie on opposite sides of $AC$ and $C$ and $C_A$ lie on opposite sides of $AB$. Similarly, let $k_B$ be the circle with diameter $CA$, with tangents from $B$ touching at $C_B,A_B$, and $k_C$ the circle with diameter $AB$, with tangents from $C$ touching at $A_C,B_C$.
Prove that the lines $B_AC_A, C_BA_B, A_CB_C$ are concurrent.
0 replies
MathMystic33
28 minutes ago
0 replies
Equal areas of the triangles on the parabola
NO_SQUARES   0
28 minutes ago
Source: Regional Stage of ARO 2025 10.10; also Kvant 2025 no. 3 M2837
On the graphic of the function $y=x^2$ were selected $1000$ pairwise distinct points, abscissas of which are integer numbers from the segment $[0; 100000]$. Prove that it is possible to choose six different selected points $A$, $B$, $C$, $A'$, $B'$, $C'$ such that areas of triangles $ABC$ and $A'B'C'$ are equals.
A. Tereshin
0 replies
NO_SQUARES
28 minutes ago
0 replies
Al-Khwarizmi birth year in a combi process
Assassino9931   1
N 29 minutes ago by Assassino9931
Source: Al-Khwarizmi International Junior Olympiad 2025 P3
On a circle are arranged $100$ baskets, each containing at least one candy. The total number of candies is $780$. Asad and Sevinch make moves alternatingly, with Asad going first. On one move, Asad takes all the candies from $9$ consecutive non-empty baskets, while Sevinch takes all the candies from a single non-empty basket that has at least one empty neighboring basket. Prove that Asad can take overall at least $700$ candies, regardless of the initial distribution of candies and Sevinch's actions.

Shubin Yakov, Russia
1 reply
Assassino9931
May 9, 2025
Assassino9931
29 minutes ago
Anything real in this system must be integer
Assassino9931   6
N 30 minutes ago by Assassino9931
Source: Al-Khwarizmi International Junior Olympiad 2025 P1
Determine the largest integer $c$ for which the following statement holds: there exists at least one triple $(x,y,z)$ of integers such that
\begin{align*} x^2 + 4(y + z) = y^2 + 4(z + x) = z^2 + 4(x + y) = c \end{align*}and all triples $(x,y,z)$ of real numbers, satisfying the equations, are such that $x,y,z$ are integers.

Marek Maruin, Slovakia
6 replies
Assassino9931
May 9, 2025
Assassino9931
30 minutes ago
Concurrency from symmetric points on the sides of a triangle
MathMystic33   0
32 minutes ago
Source: 2024 Macedonian Team Selection Test P3
Let $\triangle ABC$ be a triangle. On side $AB$ take points $K$ and $L$ such that $AK \;=\; LB \;<\;\tfrac12\,AB,$
on side $BC$ take points $M$ and $N$ such that $BM \;=\; NC \;<\;\tfrac12\,BC,$ and on side $CA$ take points $P$ and $Q$ such that $CP \;=\; QA \;<\;\tfrac12\,CA.$ Let $R \;=\; KN\;\cap\;MQ,
\quad
T \;=\; KN \cap LP, $ and $ D \;=\; NP \cap LM, \quad
E \;=\; NP \cap KQ.$
Prove that the lines $DR, BE, CT$ are concurrent.
0 replies
MathMystic33
32 minutes ago
0 replies
Grouping angles in a pentagon with bisectors
Assassino9931   2
N 32 minutes ago by Assassino9931
Source: Al-Khwarizmi International Junior Olympiad 2025 P2
Let $ABCD$ be a convex quadrilateral with \[\angle ADC = 90^\circ, \ \ \angle BCD = \angle ABC > 90^\circ, \mbox{ and } AB = 2CD.\]The line through \(C\), parallel to \(AD\), intersects the external angle bisector of \(\angle ABC\) at point \(T\). Prove that the angles $\angle ATB$, $\angle TBC$, $\angle BCD$, $\angle CDA$, $\angle DAT$ can be divided into two groups, so that the angles in each group have a sum of $270^{\circ}$.

Miroslav Marinov, Bulgaria
2 replies
Assassino9931
May 9, 2025
Assassino9931
32 minutes ago
Parity and sets
betongblander   7
N Apr 22, 2025 by ihategeo_1969
Source: Brazil National Olympiad 2020 5 Level 3
Let $n$ and $k$ be positive integers with $k$ $\le$ $n$. In a group of $n$ people, each one or always
speak the truth or always lie. Arnaldo can ask questions for any of these people
provided these questions are of the type: “In set $A$, what is the parity of people who speak to
true? ”, where $A$ is a subset of size $ k$ of the set of $n$ people. The answer can only
be $even$ or $odd$.
a) For which values of $n$ and $k$ is it possible to determine which people speak the truth and
which people always lie?
b) What is the minimum number of questions required to determine which people
speak the truth and which people always lie, when that number is finite?
7 replies
betongblander
Mar 18, 2021
ihategeo_1969
Apr 22, 2025
Parity and sets
G H J
G H BBookmark kLocked kLocked NReply
Source: Brazil National Olympiad 2020 5 Level 3
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
betongblander
144 posts
#1
Y by
Let $n$ and $k$ be positive integers with $k$ $\le$ $n$. In a group of $n$ people, each one or always
speak the truth or always lie. Arnaldo can ask questions for any of these people
provided these questions are of the type: “In set $A$, what is the parity of people who speak to
true? ”, where $A$ is a subset of size $ k$ of the set of $n$ people. The answer can only
be $even$ or $odd$.
a) For which values of $n$ and $k$ is it possible to determine which people speak the truth and
which people always lie?
b) What is the minimum number of questions required to determine which people
speak the truth and which people always lie, when that number is finite?
This post has been edited 14 times. Last edited by betongblander, Jun 7, 2021, 8:08 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
v_Enhance
6877 posts
#3 • 3 Y
Y by HamstPan38825, Yuuhhuuuuuuu, PHSH
The answer is that the task is possible exactly when $k$ is even in which case exactly $n$ questions are needed.
Treat each person as an element in ${\mathbb F}_2$, where $1$ for truth and $0$ for liar.
If you ask person $p$ about the set $A$, their response is \[ (p+1) + \sum_{a \in A} \pmod 2. \]So in other words, a query amounts to sampling a set of either $k-1$ elements ($p \in A$) or $k+1$ elements $(p \notin A$), and taking the sum.
Now, if $k$ is odd, the task is impossible, because replacing every $x \mapsto x+1$ changes no responses.
On the other hand, when $k$ is even, the following $n$ queries suffice:
  • Query $(x_1 + \dots + x_k) - x_i$ for $i=1,\dots,k$ By summing, one gets the value of $(k-1)(x_1 + \dots + x_k)$, and hence knows $x_i $ for $1 \le i \le k$.
  • Query $(x_1 + \dots + x_{k-2}) + x_i$ for $i = k+1, \dots, n$. This gets $x_i$ for $i \ge n$.
Moreover, at least $n$ queries are necessary because there are $2^n$ possible final answers for Arnaldo, and each query has two possible responses.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
john0512
4187 posts
#5
Y by
The answer is that it is not possible when $k$ is odd, and it takes $n$ turns when $k$ is even.

When $k$ is odd, he cannot distinguish between everyone telling the truth and everyone lying (since in both cases, all queries will result in the answer being "odd").

There are $2^n$ possible configurations, so if he asks at most $n-1$ questions, by Pidgeonhole there exists some string of answers that corresponds to more than one possible configuration, hence he cannot determine the configuration, which shows the lower bound.

When $k$ is even, we claim that he can simply query the same set $A$ each time and ask each person once. First, he asks each person in $A$ about $A$ and record the number of "even" responses and "odd" responses. These are the numbers of truth-tellers and liars in $A$ in some order. However, since $|A|$ is even, these two numbers are either both odd or both even. If they are both odd, then the people that said odd are truth-tellers and the people that said even are liars, and vice versa for the both even case. In both cases, he can determine the type of each person in $A$. Furthermore, he knows the true answer to his question at this point, so he can simply ask the same question to the remaining $n-k$ people to determine their type, hence done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bryanguo
1032 posts
#6
Y by
Hmm...this problem hurts my head

For odd $k,$ the process is impossible. For even $k,$ the process requires $n$ queries.

For odd $k,$ observe that a string of all $T$'s and all $F$'s cannot be distinguished, since every query results with the answer ``odd."

For even $k,$ we first observe that $n$ operations are necessary: At each step, we at most determine if a set of $k$ people has an odd number of $T$'s or $F$'s, which halves our possibilities. Thus, to get from $2^n$ possibilities to $1$ unique string, we require at least $n$ queries.

For upper bound, since $k$ is even, in any arbitrary set of $k$ people, the parity of the truthtellers and liars must be the same. Querying everyone in the set of $k$ people, we count number of ``evens" and ``odds" we obtain as answers. If the parity of the number of people who said ``odd" lines up with the number of ``odds" we counted, then these people are the truthtellers (similarly for even), and we know the rest are liars. Arnaldo can continue this process until there are $q<k$ people remaining, from which $q$ queries is sufficient to determine who are liars and truthtellers--by taking a set of $k$ people and querying the $q$ people of which we don't know who are truthtellers or liars.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
HamstPan38825
8866 posts
#7
Y by
For odd $k$, Arnaldo cannot distinguish between all truth-tellers or all liars, as he will receive an answer of ``odd" every time.

For even $k$, I claim that at least $n$ queries are required. $n$ queries are sufficient because Arnaldo may fix a group of $k$ people and ask all $n$ people the same question for those $k$ people. Among the $k$ people themselves, suppose $a$ people reply ``odd" and $b$ people reply ``even". Then $a$ and $b$ must be the same parity, and whichever response matches that common parity comes from truth-tellers. Correspondingly Arnaldo may determine the truthfulness of all $n$ people.

To see that $n-1$ questions cannot work, notice that upon asking $n$ questions, one to every member of the group, we receive $2^n$ possible combinations of responses. By the above discussion, every response corresponds to a unique distribution of truth-tellers and liars, and every distribution of truth-tellers and liars yields a unique set of responses. Hence, upon only asking $n-1$ questions, there will be at least $2$ possibilities for the distribution of liars.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cursed_tangent1434
634 posts
#8 • 1 Y
Y by mathematical717
Solved with mathematical717. Very interesting problem. We faced some unnecessary difficulty with the bound, but we were just clowning around. Let a positive integer $k$ be called $n$-detectable if it possible to determine which people speak the truth and which people always lie. Further, the type of a person is whether he speaks the truth or lies.

(a) We claim that the answer is all even integers $k$ (and all $n\ge k$ for each $k$). First of all note that if $k$ is odd and all the $n$ people are of the same type, Arnaldo has no way of knowing which type it is since irrespective of which set of $k$ people and which person Arnaldo selects to question, the reply will always be 'even'. So he gains no new information, and will never know the liars and truth-tellers exactly.

(b) We now show that all even integers $k$ are $n$-detectable for all $n\ge k$ with $n$ being the minimum number of moves required to determine which people speak the truth and which people lie. Our algorithm for detecting the liars and the truth-tellers exactly within $n$ moves is as follows.

Consider a random set of $k$ people among the available $n$. Now, ask each and every person of this group the question concerning this group of $k$ people. Then, each person will answer 'even' or 'odd'. Arnaldo then separates them into two groups based on there response. It is easy to see that all the people in each group are of the same type, and two people from the two separate groups must be of different types. Now, after separating into groups, both the groups are of even size, or both groups are of odd size (since $k$ is even). Thus, Arnaldo knows the parity of the size of the set of truth-tellers among this set of $k$ people. Hence, he can exactly distinguish (based on which answer they provided) which group among the separated two consists of only truth-tellers. Now, if this group has atleast one truth-teller Arnaldo picks one of them as his buddy. If all of them are liars he picks one of them as his anti-buddy and negates what ever answer he provides to a question Arnaldo asks and considered him as his buddy.

Using a buddy, Arnaldo can determine the type of all the other people as follows. Arnaldo selects the $k-1$ non-buddy people in his initial set of people. Then, he considers the set of people formed by adding each new person among the available $n$ in turn. Then, he asks from his buddy how many people speak the truth. Since Arnaldo knows the type of all but one person in this group, Arnaldo can then determine the type of the additional temporary member of the group. He repeats this process with each of the $n-k$ left over people, and finishes his task in exactly $n$ steps.

To see why Arnaldo needs $n$ steps, note that if Arnaldo can finish in at most $n-1$ steps, Arnaldo has to uniquely distinguish a set of $2^n$ possible states (each person has two possible types) using $2^{n-1}$ answer sequences. Since $2^n > 2^{n-1}$ there exists atleast two possible states for some answer sequence for $n-1$ queries, making it impossible for Arnaldo to distinguish between the two. Thus, he will always need atleast $n$ queries to determine which people speak the truth and which people always lie, and we are done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
quantam13
113 posts
#9
Y by
I claim that the task is only possible when $k$ is even and in that case, the minimum number of questions is $n$.

When $k$ is odd, to see that the desired task is impssible, notice that we cant differentiate between all people being truth tellers and all people being liars.

Now when $k$ is even, I give a strategy with $n$ questions which is clearly the minimum as there are $2^n$ possible asignements of truth tellers/liars to the $n$ people.

Firstly take $k$ players and use $k$ queries on each of them about the set of those $k$ players. Some work mod 2 can give that this reveals the identity of all $k$ of the players. Now for the rest of the $n-k$ players, to figure them out within $n-k$ queries, we find out the players one by one by asking them about the $k$ players whose status we already know which tells us the identity of that player.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ihategeo_1969
235 posts
#10
Y by
Nice? Oh god pls make me better at combo. Let $f(n,k)$ denote our required (with $\infty$ meaning it ain't possible). Then \[\boxed{f(n,k) = \begin{cases} \infty \text{ if $k$ is  odd} \\ n \text{ if $k$ is even} \end{cases}}\]To see why $k$ is odd fails, see that atmost we can just make $2$ groups and we know one group are liars and one group are truth tellers (just ask everyone the same question on some set of $k$ people). But since $k$ is odd, the parity of wise truth seekers and devilish liars are always different so we can never know for sure, which is which.

For $k$ even, we atleast need $n$ questions as there are $2^n$ possiblities and each question just ``halves" the ones into possible sequences and not at all possible sequences atmost hence we need $\log_2(2^n)=n$ questions atleast.

To see why it is all we need, just fix some group of $k$ people and ask everyone the same question. Now the parity of wise truth seekers and devilish liars in the $k$ set of people is same, and based on what answers the $k$ people gave we know what that parity is and hence whichever people are saying that parity are the truth seekers and others are naughty liars and so done.
Z K Y
N Quick Reply
G
H
=
a