We changed our privacy policy. Read more.
Computer Science
François
Profile Activity
Stats
669
reputation
38k
reached
12
answers
8
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (4)

Top network posts

This user doesn’t have any gold badges yet.
5
silver badges
15
bronze badges
View all badges

Top tags (41)

Score 18
Posts 5
Posts % 25
Score 10
Posts 1
Score 6
Posts 2
Score 5
Posts 3
Score 5
Posts 1
Score 2
Posts 3
View all tags →

Top posts (20)

All Questions Answers
Votes Newest
10 How can I prove algorithm correctness? Jun 20 '15
7 Are syntax and semantic just 2 structures such that one is a model of the other? Aug 15 '15
5 Is there a research name for "systems that steadily grow in complexity as they are computed"? Aug 5 '15
4 Unprovable Post correspondence problem instance Mar 27 '15
3 Is it admited to give the complexity of a function regarding the resulting data structure? Apr 14 '16
3 Bipartite Matching in the Plane Jun 18 '15
3 I think I have a regular expression for a non-regular language Mar 29 '15
2 pseudo clique with at least connectivity x and maximum weight of the nodes Jul 23 '15
2 Turning a simple polygon with holes into exterior-bounded only Jun 19 '15
2 $A$ is finite, $B$ is NPC - When there's a polynomial reduction from $A$ to $B$? Jun 19 '15
View all questions and answers →

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.