Skip to main content
Computer Science
Charlie Parker's user avatar
Charlie Parker's user avatar
Charlie Parker's user avatar
Charlie Parker
  • Member for 10 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
3,090
reputation
80k
reached
12
answers
94
questions
Communities
View all
About

CS and Maths are awesome!

Badges
View all badges
This user doesn’t have any gold badges yet.
21
silver badges
37
bronze badges
Top tags
View all tags
10
Score
11
Posts
10
Posts %
4
Score
35
Posts
33
Posts %
3
Score
22
Posts
21
Posts %
3
Score
19
Posts
18
Posts %
3
Score
15
Posts
14
Posts %
3
Score
8
Posts
8
Posts %
Top posts
View all questions and answers
question
32
Meaning of: "'If factoring large integers is hard, then breaking RSA is hard,' is unproven"
Dec 13, 2015
question
19
Can proof by contradiction work without the law of excluded middle?
Feb 20, 2018
question
13
Why does soundness imply consistency?
Feb 19, 2018
question
10
What is the intuition on why the longest path problem does not have optimal substructure?
Apr 29, 2016
question
9
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, 2017
question
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, 2015
question
7
How does one know what statements in Coq require Induction?
Jan 19, 2019
question
6
What is the formal justification for the correctness of the second formulation of rod cutting DP solution
Apr 26, 2016
question
6
Correctness of Freivald algorithm for checking matrix multiplication, why is the probability of checking $AB \neq C$ at least 1/2?
Nov 3, 2015
question
6
Why is the path compression (no rank) for disjoint sets $O(\log n)$ amortized for Find-Set?
Dec 4, 2015
Top network posts
View all network posts
558
When does the init() function run?
131
How do you get a Golang program to print the line number of the error it just called?
110
Is there no XOR operator for booleans in golang?
94
What does the --ntasks or -n tasks does in SLURM?
93
How to test a unexported (private) function in go (golang)?