<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <id>http://groups.google.se/group/sci.math.research</id>
  <title type="text">sci.math.research Google Group</title>
  <subtitle type="text">
  Discussion of current mathematical research. (Moderated)
  </subtitle>
  <link href="/group/sci.math.research/feed/atom_v1_0_msgs.xml" rel="self" title="sci.math.research feed"/>
  <updated>2010-03-19T19:30:02Z</updated>
  <generator uri="http://groups.google.se" version="1.99">Google Groups</generator>
  <entry>
  <author>
  <email>tc...@lsa.umich.edu</email>
  </author>
  <updated>2010-03-19T19:30:02Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/386f7edff45d123d?show_docid=386f7edff45d123d</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/386f7edff45d123d?show_docid=386f7edff45d123d"/>
  <title type="text">Re: Request regarding counting algorithms in graph theory</title>
  <summary type="html" xml:space="preserve">
  In article &amp;lt;hnqlgq$5b...@news.acm.uiuc.ed u&amp;gt;, &lt;br&gt; I don&#39;t know; however, I believe that the following paper by Goodall and &lt;br&gt; Noble (&amp;quot;Counting cocircuits and convex two-colorings is #P-complete&amp;quot;) &lt;br&gt; shows that your problem is #P-complete. &lt;br&gt; &lt;a target=&quot;_blank&quot; rel=nofollow href=&quot;http://bura.brunel.ac.uk/bitstream/2438/2760/1/convexcolourings.pdf&quot;&gt;[link]&lt;/a&gt; &lt;br&gt; Perhaps their reduction will allow you to apply algorithms for other
  </summary>
  </entry>
  <entry>
  <author>
  <name>Mike</name>
  <email>henne...@web.cs.ndsu.nodak.edu</email>
  </author>
  <updated>2010-03-19T16:30:01Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/25423fd1ad4d8c18?show_docid=25423fd1ad4d8c18</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/25423fd1ad4d8c18?show_docid=25423fd1ad4d8c18"/>
  <title type="text">Re: Request regarding counting algorithms in graph theory</title>
  <summary type="html" xml:space="preserve">
  int partitions(G): &lt;br&gt; V=vertices(G) &lt;br&gt; if 1&amp;lt;=|V|: return 0 &lt;br&gt; select x in V &lt;br&gt; return count({x}, neighbors(G, x), {}, G) &lt;br&gt; int count(yes, maybe, no, G): &lt;br&gt; if 0==|maybe|: &lt;br&gt; if G[vertices(G)-yes] connected : return 1 &lt;br&gt; else : return 0 &lt;br&gt; select x in maybe &lt;br&gt; return count(yes, maybe-{x}, no + {x}, G) +
  </summary>
  </entry>
  <entry>
  <author>
  <name>Christopher Henrich</name>
  <email>chenr...@monmouth.com</email>
  </author>
  <updated>2010-03-19T16:30:01Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/e78bc475e4cd4884?show_docid=e78bc475e4cd4884</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/e78bc475e4cd4884?show_docid=e78bc475e4cd4884"/>
  <title type="text">Re: Request regarding counting algorithms in graph theory</title>
  <summary type="html" xml:space="preserve">
  In article &amp;lt;hntke9$gf...@news.acm.uiuc.ed u&amp;gt;, &lt;br&gt; No, it is specifically for situations where you don&#39;t want to do that. &lt;br&gt; The largest solution to a problem of this kind that I have computed is &lt;br&gt; the number of chiral stellations of the deltoidal icositerahedron: &lt;br&gt; 44,688,470,607,269,500. My algorithm took several hours. I am looking
  </summary>
  </entry>
  <entry>
  <author>
  <name>Mike</name>
  <email>henne...@web.cs.ndsu.nodak.edu</email>
  </author>
  <updated>2010-03-18T16:30:01Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/ba0b37e0967339bd?show_docid=ba0b37e0967339bd</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/ba0b37e0967339bd?show_docid=ba0b37e0967339bd"/>
  <title type="text">Re: Request regarding counting algorithms in graph theory</title>
  <summary type="html" xml:space="preserve">
  Does the algorithm involve actually generating the sets? &lt;br&gt; If so, the obvious thing to do is check each set of remaining &lt;br&gt; nodes to see if they induce a connected subgraph.
  </summary>
  </entry>
  <entry>
  <author>
  <name>Gottfried Helms</name>
  <email>he...@uni-kassel.de</email>
  </author>
  <updated>2010-03-18T16:30:01Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/9339e819c72cc382/093c01b1ed29a3cb?show_docid=093c01b1ed29a3cb</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/9339e819c72cc382/093c01b1ed29a3cb?show_docid=093c01b1ed29a3cb"/>
  <title type="text">Re: 3^n - 2^n and relatives</title>
  <summary type="html" xml:space="preserve">
  A couple of years ago I posted some discussion here which were &lt;br&gt; kindly considered by some posters here. It occured, that the &lt;br&gt; ideas, with which I connected my own 1-cycle-attempt in the &lt;br&gt; collatz-problem with the approximation of |S*log2 - N*log3| were &lt;br&gt; essentially the same as that of Ray Steiner (and later John
  </summary>
  </entry>
  <entry>
  <author>
  <name>Christopher Henrich</name>
  <email>chenr...@monmouth.com</email>
  </author>
  <updated>2010-03-18T16:30:01Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/e6ec0cf795d40a13?show_docid=e6ec0cf795d40a13</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/e6ec0cf795d40a13?show_docid=e6ec0cf795d40a13"/>
  <title type="text">Re: Request regarding counting algorithms in graph theory</title>
  <summary type="html" xml:space="preserve">
  In article &amp;lt;hnqlgq$5b...@news.acm.uiuc.ed u&amp;gt;, &lt;br&gt; I misunderstood Knuth&#39;s example: it counts sets of edges which connect &lt;br&gt; the nodes of the graph. &lt;br&gt; But I think that an algorithm could be devised to count the partitions &lt;br&gt; of the nodes of the graph into two sets, each of which is connected by &lt;br&gt; arcs of the graph. I think the problems like this can be solved by means
  </summary>
  </entry>
  <entry>
  <author>
  <name>Andrew</name>
  <email>andrewzak...@mail.ru</email>
  </author>
  <updated>2010-03-17T13:30:01Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/abff4349d0ff9af5/77a8dd4b4b05da2a?show_docid=77a8dd4b4b05da2a</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/abff4349d0ff9af5/77a8dd4b4b05da2a?show_docid=77a8dd4b4b05da2a"/>
  <title type="text">Is there a not-easy-solvable PDE with probabilistic representation with known (or approximable) probability density?</title>
  <summary type="html" xml:space="preserve">
  It is well-known that solution of many equations could be represented &lt;br&gt; as expectation of some functional of random processes (e.g. Feynman� &lt;br&gt; Kac formula and etc.) &lt;br&gt; So the solution is the expectation which could be calculated by Monte- &lt;br&gt; Carlo method. &lt;br&gt; But if the probabilistic solution is the expectation of the random
  </summary>
  </entry>
  <entry>
  <author>
  <name>Christopher Henrich</name>
  <email>chenr...@monmouth.com</email>
  </author>
  <updated>2010-03-17T13:30:02Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/9aa165c4739cab7c?show_docid=9aa165c4739cab7c</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/0e2813bf1e23aa24/9aa165c4739cab7c?show_docid=9aa165c4739cab7c"/>
  <title type="text">Request regarding counting algorithms in graph theory</title>
  <summary type="html" xml:space="preserve">
  Donald Knuth, in _The Art of Computer Programming_ Section 7.1.4 [1], &lt;br&gt; describes an algorithm for counting the connected sets of nodes in a &lt;br&gt; non-directed graph: see Exercise 55. &lt;br&gt; I am interested in a related problem, namely to count the partitions of &lt;br&gt; such a graph into two connected components. Are there any published
  </summary>
  </entry>
  <entry>
  <author>
  <name>afortis@gmail.com</name>
  <email>afor...@gmail.com</email>
  </author>
  <updated>2010-03-15T13:40:50Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/60360d90c80fbf2d/b377321803ac828c?show_docid=b377321803ac828c</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/60360d90c80fbf2d/b377321803ac828c?show_docid=b377321803ac828c"/>
  <title type="text">Call for papers XA2010</title>
  <summary type="html" xml:space="preserve">
  XA2010 &lt;br&gt; &amp;quot;EUROPEAN CONFERENCE ON &lt;br&gt; COMPUTER SCIENCES &amp;amp; APPLICATIONS&amp;quot; &lt;br&gt; 3rd Edition &lt;br&gt; Timi ?oara, Rom?nia, September 24-25, 2010 &lt;br&gt; AIM &lt;br&gt; The 3rd European Conference on Computer Sciences and Applications &lt;br&gt; intends to stimulate the research activity and to establish &lt;br&gt; interactions between Romanian and foreign researchers, teachers, B.
  </summary>
  </entry>
  <entry>
  <author>
  <name>Geometry and Topology</name>
  <email>g...@msp.warwick.ac.uk</email>
  </author>
  <updated>2010-03-14T02:24:30Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/dbadcf5cd5da1f3b/ec6f90a712dd6791?show_docid=ec6f90a712dd6791</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/dbadcf5cd5da1f3b/ec6f90a712dd6791?show_docid=ec6f90a712dd6791"/>
  <title type="text">Nine papers published by Geometry &amp; Topology Publications</title>
  <summary type="html" xml:space="preserve">
  Seven papers have been published by Algebraic &amp;amp; Geometric Topology &lt;br&gt; (1) Algebraic &amp;amp; Geometric Topology 10 (2010) 525-530 &lt;br&gt; Faithfulness of a functor of Quillen &lt;br&gt; by William G Dwyer, Andrei Radulescu-Banu and Sebastian Thomas &lt;br&gt; URL: &lt;a target=&quot;_blank&quot; rel=nofollow href=&quot;http://www.msp.warwick.ac.uk/agt/2010/10-01/p015.xhtml&quot;&gt;[link]&lt;/a&gt; &lt;br&gt; DOI: 10.2140/agt.2010.10.525
  </summary>
  </entry>
  <entry>
  <author>
  <name>Mike</name>
  <email>henne...@web.cs.ndsu.nodak.edu</email>
  </author>
  <updated>2010-03-12T22:06:54Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/17b494704c12939f/0230a0643323c6ae?show_docid=0230a0643323c6ae</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/17b494704c12939f/0230a0643323c6ae?show_docid=0230a0643323c6ae"/>
  <title type="text">Re: decomposing rationals</title>
  <summary type="html" xml:space="preserve">
  If a and b are rational, &lt;br&gt; this becomes an integer linear programming problem in two variables. &lt;br&gt; Such things are solvable in polynomial time. &lt;br&gt; I don&#39;t remember details. &lt;br&gt; I think that you can solve the linear relaxation &lt;br&gt; and plug away with Gomory fractional cuts. &lt;br&gt; Selecting the approximations could be tricky.
  </summary>
  </entry>
  <entry>
  <author>
  <name>Mike</name>
  <email>henne...@web.cs.ndsu.nodak.edu</email>
  </author>
  <updated>2010-03-12T19:13:15Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/a353566b7cd440e7/4c78c371b1e28497?show_docid=4c78c371b1e28497</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/a353566b7cd440e7/4c78c371b1e28497?show_docid=4c78c371b1e28497"/>
  <title type="text">Re: minimum height of a 0-1 simplex</title>
  <summary type="html" xml:space="preserve">
  The above is roughly 1/n, but there are worse examples: &lt;br&gt; e_j for j in 1..k &lt;br&gt; k &lt;br&gt; SUM e_j + e_L for L in k+1..n &lt;br&gt; j=1 &lt;br&gt; k n &lt;br&gt; The vertices satisfy SUM x_j + (1-k) SUM x_j = 1 &lt;br&gt; j=1 j=k+1 &lt;br&gt; For k=2n/3, the distance to zero is roughly sqrt(27/(4n**3)).
  </summary>
  </entry>
  <entry>
  <author>
  <name>IMECS 2008</name>
  <email>imecs_2...@iaeng.org</email>
  </author>
  <updated>2010-03-12T10:42:22Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/c1648296576bdefb/d363a7c27d7b263f?show_docid=d363a7c27d7b263f</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/c1648296576bdefb/d363a7c27d7b263f?show_docid=d363a7c27d7b263f"/>
  <title type="text">Call for Papers Reminder (extended): The World Congress on Engineering WCE 2010</title>
  <summary type="html" xml:space="preserve">
  CFP: The World Congress on Engineering WCE 2010 &lt;br&gt; WCE 2010: London, U.K., 30 June - 2 July, 2010 &lt;br&gt; &lt;a target=&quot;_blank&quot; rel=nofollow href=&quot;http://www.iaeng.org/WCE2010&quot;&gt;[link]&lt;/a&gt; &lt;br&gt; Draft Paper Submission Deadline (extended): 18 March, 2010 &lt;br&gt; The WCE 2010 is organized by International Association of Engineers &lt;br&gt; (IAENG), a non-profit international association for the engineers and
  </summary>
  </entry>
  <entry>
  <author>
  <name>Mike</name>
  <email>henne...@web.cs.ndsu.nodak.edu</email>
  </author>
  <updated>2010-03-10T19:48:09Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/a353566b7cd440e7/b0576937d621d2da?show_docid=b0576937d621d2da</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/a353566b7cd440e7/b0576937d621d2da?show_docid=b0576937d621d2da"/>
  <title type="text">Re: minimum height of a 0-1 simplex</title>
  <summary type="html" xml:space="preserve">
  That is what I get, also. &lt;br&gt; The base satisfies the linear equation &lt;br&gt; n-1 &lt;br&gt; SUM x[j] + (2-n)*x[n] = 1 &lt;br&gt; j=1 &lt;br&gt; Lower bound, anyone?
  </summary>
  </entry>
  <entry>
  <author>
  <name>Mike</name>
  <email>henne...@web.cs.ndsu.nodak.edu</email>
  </author>
  <updated>2010-03-10T12:37:27Z</updated>
  <id>http://groups.google.se/group/sci.math.research/browse_thread/thread/a353566b7cd440e7/b6160a9cf88414d8?show_docid=b6160a9cf88414d8</id>
  <link href="http://groups.google.se/group/sci.math.research/browse_thread/thread/a353566b7cd440e7/b6160a9cf88414d8?show_docid=b6160a9cf88414d8"/>
  <title type="text">Re: minimum height of a 0-1 simplex</title>
  <summary type="html" xml:space="preserve">
  I&#39;m not sure what this means, &lt;br&gt; but I think that it is not true even in three dimension. &lt;br&gt; that a minimal-height-defining line segment of a &lt;br&gt; tetrahedron lies within the tetrahedron. &lt;br&gt; Consider a tetrahedron with the following vertices: &lt;br&gt; (0, 0, 0), (3, 2, 0), (3, -2, 0) and (4, 0, 1). &lt;br&gt; Its minimal-height-defining segment is (4, 0, 1)_(4, 0, 0).
  </summary>
  </entry>
</feed>
