[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 483: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file /feed.php on line 173: Cannot modify header information - headers already sent by (output started at /includes/functions.php:3765)
[phpBB Debug] PHP Warning: in file /feed.php on line 174: Cannot modify header information - headers already sent by (output started at /includes/functions.php:3765)
AI Challenge Forums Falls 2011, sponsored by Google 2010-03-12T19:47:59+00:00 http://forums.aichallenge.org/feed.php?f=8&t=319 2010-03-12T19:47:59+00:00 2010-03-12T19:47:59+00:00 http://forums.aichallenge.org/viewtopic.php?t=319&p=2202#p2202 <![CDATA[Re: Survival Mode]]>
The argument would be more complicated in undirected graphs with all vertices having degree more than 2. There is a construction which trasforms undirected HC to directed as well as the other way. So I would probably use this side step.

The graph is of degrees less than 4 while grid has degree 4 in each vertex. Adding walls you can reduce degrees. You can replace edges by corridors (paths of degree 2 verices) ...

Statistics: Posted by Hippo — Fri Mar 12, 2010 7:47 pm


]]>
2010-03-11T12:14:22+00:00 2010-03-11T12:14:22+00:00 http://forums.aichallenge.org/viewtopic.php?t=319&p=2201#p2201 <![CDATA[Re: Survival Mode]]> Moreover it looks like the proof assumes a cubic graphe, and a tron map is not a cubic graph.

If someone has understand Fritzlein's proof, can you post the full map for the following 3SAT expression: (A or B or ~C) and (~A or C or D) ?
that would be great.

Statistics: Posted by barxool — Thu Mar 11, 2010 12:14 pm


]]>
2010-03-04T10:20:44+00:00 2010-03-04T10:20:44+00:00 http://forums.aichallenge.org/viewtopic.php?t=319&p=2168#p2168 <![CDATA[Re: Survival Mode]]>

BTW: Plesnik proof allows undirecting by adding vertex on outdegree 1 to indegree 1 edges. And if you want cubic graph (all vertices of degree exactly 3) you can add a square with diagonal instead of just one vertex there. So Plesnik's proof is much easier than the original one ([3]).

BTW2: An alternative ... my last step of Tron proof used "fractal corridors as edges" to make all edges (or at least these that are not forced ... (meaninig out deg 2 in deg 2)) same length (forced ones could be longer but not shorter). It would lead probably to simillar scaling as creating big chambers. My resulting map would be graph on grid with maximal degree 3.

P.S.: The book name was probably "Grafové algorítmy" ... Graph algorithms, not Graph Theory I have supposed.

Statistics: Posted by Hippo — Thu Mar 04, 2010 10:20 am


]]>
2010-03-03T22:26:22+00:00 2010-03-03T22:26:22+00:00 http://forums.aichallenge.org/viewtopic.php?t=319&p=2163#p2163 <![CDATA[Re: Survival Mode]]> Statistics: Posted by barxool — Wed Mar 03, 2010 10:26 pm


]]>
2010-03-03T22:25:21+00:00 2010-03-03T22:25:21+00:00 http://forums.aichallenge.org/viewtopic.php?t=319&p=2162#p2162 <![CDATA[Re: Survival Mode]]> Statistics: Posted by barxool — Wed Mar 03, 2010 10:25 pm


]]>
2010-03-03T21:45:10+00:00 2010-03-03T21:45:10+00:00 http://forums.aichallenge.org/viewtopic.php?t=319&p=2161#p2161 <![CDATA[Re: Survival Mode]]> Statistics: Posted by Fritzlein — Wed Mar 03, 2010 9:45 pm


]]>
2010-03-03T20:57:38+00:00 2010-03-03T20:57:38+00:00 http://forums.aichallenge.org/viewtopic.php?t=319&p=2159#p2159 <![CDATA[Re: Survival Mode]]> Statistics: Posted by DjinnKahn — Wed Mar 03, 2010 8:57 pm


]]>
2010-03-03T20:34:01+00:00 2010-03-03T20:34:01+00:00 http://forums.aichallenge.org/viewtopic.php?t=319&p=2157#p2157 <![CDATA[Re: Survival Mode]]> Statistics: Posted by Fritzlein — Wed Mar 03, 2010 8:34 pm


]]>
2010-03-03T19:21:12+00:00 2010-03-03T19:21:12+00:00 http://forums.aichallenge.org/viewtopic.php?t=319&p=2156#p2156 <![CDATA[Re: Survival Mode]]> Statistics: Posted by DjinnKahn — Wed Mar 03, 2010 7:21 pm


]]>
2010-03-03T22:13:45+00:00 2010-03-03T19:04:24+00:00 http://forums.aichallenge.org/viewtopic.php?t=319&p=2155#p2155 <![CDATA[Re: Survival Mode]]> Statistics: Posted by Hippo — Wed Mar 03, 2010 7:04 pm


]]>