Skip to main content
Theoretical Computer Science
Antoine Amarilli 'a3nm''s user avatar
Antoine Amarilli 'a3nm''s user avatar
Antoine Amarilli 'a3nm''s user avatar
Antoine Amarilli 'a3nm'
  • Member for 13 years, 8 months
  • Last seen this week
Profile Activity
Stats
9,838
reputation
82k
reached
47
answers
76
questions
Communities
View all
About

Advanced researcher at Inria Lille, working on database theory and other theoretical CS topics on enumeration, incremental maintenance, probabilistic data, logics... https://a3nm.net

Badges
View all badges
This user doesn’t have any gold badges yet.
30
silver badges
88
bronze badges
Top tags
View all tags
51
Score
24
Posts
20
Posts %
39
Score
14
Posts
11
Posts %
37
Score
31
Posts
25
Posts %
36
Score
25
Posts
20
Posts %
35
Score
38
Posts
31
Posts %
32
Score
18
Posts
15
Posts %
Top posts
View all questions and answers
question
26
Is it still open to determine the complexity of computing the treewidth of planar graphs?
Sep 11, 2015
question
25
Recognizing sequences with all permutations of $\{1, \ldots, n\}$ as subsequences
May 21, 2015
question
23
Languages recognized by polynomial-size DFAs
May 5, 2014
question
23
Proof of the pumping lemma for context-free languages using pushdown automata
Jun 10, 2011
question
23
Testing whether letters can be scheduled to achieve a word in a regular language
Mar 1, 2018
answer
22
Is the 3-coloring problem NP-hard on graphs of maximal degree 3?
Nov 21, 2022
question
19
"Almost sorting" integers in linear time
Apr 24, 2017
question
18
Complexity of the homomorphism problem parameterized by treewidth
Jun 2, 2016
answer
17
Proof of the pumping lemma for context-free languages using pushdown automata
Apr 24, 2012
question
16
Which monotone Boolean functions are representable as thresholds on sums?
May 12, 2015
Top Meta posts
3
0
9
Should I accept an answer stating that the question is an open problem?
5
Short name for this site?
4
Hiding bad (closed/downvoted questions) on front page?
Top network posts
View all network posts
578
How to turn off stdout buffering in a pipe?
419
How to split a string in shell and get the last field
150
How can I create a Set of Sets in Python?
110
How to do nothing forever in an elegant way?
72
How do I remove an SSH forwarded port