Computer Science
It has been great year for the Italian Conference on Theoretical Computer Science. This 16th edition was in Florence and I was really happy to see several friends and nice people here. The conference has been hosted in a deconsecrated church owned by University of Florence. I passed many times in this street ignoring the presence[…]
Our paper about “Enumerating Cyclic Orientations of a Graph” will be presented at IWOCA2015 in Verona! Thanks to all my coauthors: Alessio Conte, Roberto Grossi, Romeo Rizzi. The abstract follows. Acyclic and cyclic orientations of an undirected graph have been widely studied for their importance: an orientation is acyclic if it assigns a direction to each edge[…]
Some months ago, a very nice web page came out. I am talking about the catalogue of enumeration algorithms by Kunihiro Wasa. There you can find an “Enumeration of Enumeration Algorithms and Its Complexity”. For each class of the followings: Geometry Graph Hypergraph Matroid Order Other Permutation SAT Set String several enumeration problems are enumerated. For[…]
Our paper “On Computing the Hyperbolicity of Real-World Graphs” has been accepted for ESA 2015 !!! Thanks to all my coauthors Michele Borassi, David Coudert, and Pierluigi Crescenzi. You can read the abstract here. The (Gromov) hyperbolicity is a topological property of a graph, which has been recently applied in several different contexts, such as the design of[…]
WWW2015 has been in Florence, at Fortezza da Basso. It’s a great event for the city and I’ve seen several friends around!
My book came out!
This is a funny list of invalid proofs. Some of them are quite common, like the so-called proof by intimidation.
A selection Some blogs :: Ernie’s 3D Pancakes :: My Biased Coin :: Radford Neal’s blog :: Algorithmic Game-Theory/Economics :: bit-player :: Combinatorics and more :: Computational Complexity :: Gödel’s Lost Letter and P=NP :: Gowers’s Weblog :: in theory :: Shtetl-Optimized :: The Geomblog :: the polylogblog :: Theorem of the Day :: What’s[…]