SAT's topology

From: gai luron (gai_luron_at_oplacha.novalid)
Date: 12/15/03


Date: Mon, 15 Dec 2003 14:37:59 +0100

Hi,
in order to study the topology of a SAT formula, what is the best way to
represent SAT as a graph?

Does the reduction to a well-know graph problem can be effective?

nico

--
ntroquard_!!nOSpam!!@voila.fr


Relevant Pages

  • Four papers published by Geometric & Topology Publications
    ... Four papers have been published by Geometry & Topology Publications ... Labeled binary planar trees and quasi-Lie algebras ... A cylindrical reformulation of Heegaard Floer homology ... regular right-angled building associated to a graph product of finite ...
    (sci.math.research)
  • Re: an ingenius problem ...
    ... Each line in the graph passes through exactly 5 of the points in ... the ray starting at the center of the circle set. ... dimensionless, i.e. the fewest triangles? ... location itself is undedfinable in topology. ...
    (sci.physics)
  • Re: an ingenius problem ...
    ... Each line in the graph passes through exactly 5 of the points in ... the ray starting at the center of the circle set. ... dimensionless, i.e. the fewest triangles? ... location itself is undedfinable in topology. ...
    (sci.physics)
  • Re: an ingenius problem ...
    ... Each line in the graph passes through exactly 5 of the points in ... the ray starting at the center of the circle set. ... location itself is undedfinable in topology. ... very difficult because geometric analogy fails. ...
    (sci.physics)
  • Re: an ingenius problem ...
    ... Each line in the graph passes through exactly 5 of the points in ... the ray starting at the center of the circle set. ... and a basic topology is the correct interpretation.- Hide quoted text - ... must be all one dimensional effect. ...
    (sci.physics)