Computer Science
Profile Activity
Meta user
Network profile
2,750
reputation
16
30

Charlie Parker

CS and Maths are awesome!

12
answers
89
questions
~54k
people reached
  • Member for 7 years, 7 months
  • 305 profile views
  • Last seen Jul 7 at 22:37

Communities (58)

Top network posts

Top tags (87)

Score 9
Posts 11
Posts % 11
Score 3
Posts 35
Score 3
Posts 17
Score 2
Posts 22
Score 2
Posts 15
Score 2
Posts 8
View all tags →

Top posts (101)

All Questions Answers
Votes Newest
30 Meaning of: “'If factoring large integers is hard, then breaking RSA is hard,' is unproven” Dec 13 '15
19 Can proof by contradiction work without the law of excluded middle? Feb 20 '18
13 Why does soundness imply consistency? Feb 19 '18
9 What is the intuition on why the longest path problem does not have optimal substructure? Apr 29 '16
8 Is there any efficient algorithm for primality testing for numbers that are of the form $4k+3$ using the square root function? Dec 10 '15
6 What is the formal justification for the correctness of the second formulation of rod cutting DP solution Apr 26 '16
6 What is a simple way of explaining what a linear boolean function means in boolean algebra and relating it to the standard definition of linearity? Mar 15 '17
6 Why is the path compression (no rank) for disjoint sets $O(\log n)$ amortized for Find-Set? Dec 4 '15
6 Correctness of Freivald algorithm for checking matrix multiplication, why is the probability of checking $AB \neq C$ at least 1/2? Nov 3 '15
5 What does $ \forall \alpha_1, \dots , \alpha_n . \tau $ mean formally as a type? Oct 25 '19
View all questions and answers →

Badges (46)

Gold

—

Silver

16

Rarest

Bronze

30

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.