Finding Solutions for x12+x22=1 on Finite Fields Zp using Prime Number Algorithm

  • Thread starter Thread starter khotsofalang
  • Start date Start date
  • Tags Tags
    Algorithm Prime
Click For Summary
The discussion centers on finding solutions for the equation x12 + x22 = 1 within the finite field Zp, where p is a prime number. A brute-force approach would require O(p^2 log^2 p) time complexity, prompting the search for a more efficient algorithm. It is suggested that the problem may be simplified for primes congruent to 1 modulo 4, due to the symmetry of quadratic residues. The proposed method involves examining contiguous quadratic residues in the lower half of the field to identify pairs that sum to 1. A more effective solution is sought to support an extended essay on the topic.
khotsofalang
Messages
21
Reaction score
0
i am sorry guys, the last time i posted this problem it was completely different but this time if we
Let x12+x22=1 be a unit circle upon a finite field Zp where p is prime. Is there any algorithm which can give all the possible solutions (x1,x2) an element of Zp*Zp as well as the total number of such solutions? If exists, what is the complexity of it?
 
Physics news on Phys.org
You could check all possibilities. That takes something like O(p^2 log^2 p).

Now you just need a *good* way to solve it.
 
all right, but what i actually need is that good way of solving it
 
i need a solution to such an equation for stregthening my extended essay,anibody with a gud way of solving it?
 
If I understood correctly, you are looking for two quadratic residues that add up to 1. It may be easier for primes congruent to 1 modulo 4, because quadratic residues for those primes are 'symmetric': r is a quadratic residue iif p-r is. In this case you just look for contiguous quadratic residues on the lower half, from 2 to (p-1)/2: if r and r+1 are quadratic residues, then p-r also is, and (p-r)+(r+1) add to 1. My 2 cents.
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 40 ·
2
Replies
40
Views
3K
  • · Replies 13 ·
Replies
13
Views
5K
  • · Replies 2 ·
Replies
2
Views
6K
  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 25 ·
Replies
25
Views
3K
  • · Replies 17 ·
Replies
17
Views
6K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K