User François - Computer Science Stack Exchange

François

Member for 8 years, 8 months
Last seen more than a month ago

12 Answers

Score Activity Newest

9 votes

Accepted

How can I prove algorithm correctness?

answered Jun 20, 2015 at 8:42

5 votes

Is there a research name for "systems that steadily grow in complexity as they are computed"?

answered Aug 5, 2015 at 12:43

3 votes

Accepted

I think I have a regular expression for a non-regular language

answered Mar 29, 2015 at 11:43

3 votes

Bipartite Matching in the Plane

answered Jun 18, 2015 at 13:02

2 votes

$A$ is finite, $B$ is NPC - When there's a polynomial reduction from $A$ to $B$?

answered Jun 19, 2015 at 13:56

2 votes

Turning a simple polygon with holes into exterior-bounded only

answered Jun 19, 2015 at 19:38

2 votes

Accepted

pseudo clique with at least connectivity x and maximum weight of the nodes

answered Jul 23, 2015 at 12:58

1 vote

Efficiently partition tree into clusters of similar diameter

answered Aug 19, 2015 at 8:04

1 vote

Is this grammar LR(1)?

answered Mar 29, 2015 at 13:57

1 vote

Accepted

Understanding the definition of endless sets

answered Jun 29, 2015 at 12:24

0 votes

Why is the star property important

answered Aug 18, 2015 at 12:33

0 votes

Accepted

Unprovable Post correspondence problem instance

answered Mar 31, 2015 at 20:38