Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Martin Wahlen

dblp:72/7001 · DBLP profile ↗
← Back
8ranked-venue papers
1as first author
0since 2021 · last 2014
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 7 · 1 first-authorDatabases, data management, data science and information retrieval · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Computational complexity · 45% Graph algorithms and graph theory · 25% Algorithms and data structures · 18%

Topics — the 8 heaviest of 8, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Algorithms and data structures › exact algorithms
exponential time algorithms
0.322014
Exponential Time Complexity of the Permanent and the Tutte Polynomial · ACM Trans. Algorithms 2014
Exponential Time Complexity of the Permanent and the Tutte Polynomial · ICALP (1) 2010
Graph algorithms and graph theory › graph theory › graph polynomials
tutte polynomial
0.322014
Exponential Time Complexity of the Permanent and the Tutte Polynomial · ACM Trans. Algorithms 2014
Exponential Time Complexity of the Permanent and the Tutte Polynomial · ICALP (1) 2010
Computational complexity › counting complexity
#p-hardness
0.212014
Exponential Time Complexity of the Permanent and the Tutte Polynomial · ACM Trans. Algorithms 2014
Computational complexity
counting complexity
0.212014
Exponential Time Complexity of the Permanent and the Tutte Polynomial · ACM Trans. Algorithms 2014
Computational complexity › fine-grained complexity
exponential time hypothesis
0.212014
Exponential Time Complexity of the Permanent and the Tutte Polynomial · ACM Trans. Algorithms 2014
Distributed computing theory › distributed complexity › time complexity lower bounds
exponential time lower bounds
0.212014
Exponential Time Complexity of the Permanent and the Tutte Polynomial · ACM Trans. Algorithms 2014
Computational complexity › counting complexity
permanent
0.222014
Exponential Time Complexity of the Permanent and the Tutte Polynomial · ICALP (1) 2010
Exponential Time Complexity of the Permanent and the Tutte Polynomial · ACM Trans. Algorithms 2014
Graph algorithms and graph theory › graph theory
graph polynomials
0.112010
Exponential Time Complexity of the Permanent and the Tutte Polynomial · ICALP (1) 2010

Methods — techniques the papers use, named apart from their topics

sparsification lemma · 0.2counting complexity · 0.2exponential-time algorithm · 0.1complexity lower bounds · 0.1
YearPublicationVenuePosition
2014 Exponential Time Complexity of the Permanent and the Tutte Polynomial
abstract
We show conditional lower bounds for well-studied #P-hard problems: The number of satisfying assignments of a 2-CNF formula with n variables cannot be computed in time exp( o ( n )), and the same is true for computing the number of all independent sets in an n -vertex graph. The permanent of an n × n matrix with entries 0 and 1 cannot be computed in time exp( o ( n )). The Tutte polynomial of an n -vertex multigraph cannot be computed in time exp( o ( n )) at most evaluation points ( x , y ) in the case of multigraphs, and it cannot be computed in time exp( o ( n /poly log n )) in the case of simple graphs. Our lower bounds are relative to (variants of) the Exponential Time Hypothesis (ETH), which says that the satisfiability of n -variable 3-CNF formulas cannot be decided in time exp( o ( n )). We relax this hypothesis by introducing its counting version #ETH; namely, that the satisfying assignments cannot be counted in time exp( o ( n )). In order to use #ETH for our lower bounds, we transfer the sparsification lemma for d -CNF formulas to the counting setting.
Holger Dell, Thore Husfeldt, Dániel Marx, Nina Taslaman, Martin Wahlen
ACM Trans. Algorithms5
2010 Exponential Time Complexity of the Permanent and the Tutte Polynomial
Holger Dell, Thore Husfeldt, Martin Wahlen
ICALP (1)3
2009 On the complexity of approximating the Hadwiger number
Martin Wahlen
Theor. Comput. Sci.1
2008 Efficient Broadcasting in Known Geometric Radio Networks with Non-uniform Ranges
Leszek Gasieniec, Dariusz R. Kowalski, Andrzej Lingas, Martin Wahlen
DISC4
2007 On Exact Complexity of Subgraph Homeomorphism
Andrzej Lingas, Martin Wahlen
TAMC2
2007 Approximating the maximum clique minor and some subgraph homeomorphism problems
Noga Alon, Andrzej Lingas, Martin Wahlen
Theor. Comput. Sci.3
2005 A note on maximum independent set and related problems on box graphs
Andrzej Lingas, Martin Wahlen
Inf. Process. Lett.2
2003 Subexponential-Time Algorithms for Maximum Independent Set and Related Problems on Box Graphs
Andrzej Lingas, Martin Wahlen
COCOON2