Hi all,
As most of you may already know, it was proved by Reingold that
undirected st-connectivity is in log space. The proof uses the zig-zag
product of graphs. See, e.g.,
http://www.weizmann.ac.il/mathusers/reingold/publications/sl.ps
I've seen elsewhere that the logarithmic-space bound is optimal, where
it is stated as a trivial fact. Somehow I can't figure out why. Is it
because we need logarithmic space just to store a single pointer?
Does anyone want to comment on that? :)
Best,
Ching-Lueh
Dear theory groups,
Is the graph isomorphism problem well solved yet?
In the particular case of regular graphs, is there
a canonical labelling procedure for all vertices?
I know from twenty years ago that Most regular graphs
may be distinguished and uniquely identified using
"all pairs shortest distances" (then build n names
on the n vertices, with total graph name size nlgn).
I am interested in working on a Big Coloring Book,
with lots of graphs, with special focus on regular
graphs. Chapters based on degree,
Things such as specifying huge sets of graphs,
given one graph and an endpoint permutation group...
colorability propertys, other chromatic stuff,
hamiltonians, etc. With code in the appendits
and yearly updates... theres almost a market.
For an awesome market sample, picture SSA using
five regular graphs as Identitys for Entitys...
would need conversion from names and strings
to some n vertex random regular graph, but,
After any entity has some particular graph
registered to them, well, its a much higher
dimensional association than a text string.
Also, lots of graphs in a library would stress test
file system organization and maintenance routines.
Sincerely, Daniel
+++++
obligatory stunner post script,
disclosed as quietly as possible,
to avoid enormous fodder for comedians:
sincere advice for lds leaders is:
send delegation to pope.
make major confessions plus
major requests for forgiveness.
to others:
long time ago large group of retarded people
went west over the rockies. then they multiplied.
they remain retarded. some of their boys,
who "converted" to the catholic priesthood,
especially at the other end of highway eighty,
near rude island, from salt lake city, well...
many children in catholic parishes found that
nay was all well, with those conversions.
other advice to stateys:
many of the retarded men from that group in
the enforcement industry should probably
go home to utah, and have their IQs
tattooed on their foreheads, then
cease trying to take over the world...
tolls on roads stifles free trade,
within the borders of america,
gaining thirty pieces of silver,
from everyone everyday,
and does nothing to help farmers
bring cheeses to market...
besides, retarded men do not need so many weapons,
or prisons, or armored vehicles for travels,
unless they travel through
catholic neighborhoods.
+++++
Why the interest in Graph Isomorphism:
Re: [comp-sci-theory]
some followup interest in poly space time result?
>
> 2007 The Twenty One Graph Theorems
> Theorems about random regular graphs.
> The theorems were of the "Almost All" variety,
> where the propertys are in almost all such
> random regular graphs, with vanishingly low
> probability of any random instance being
> generated WITHOUT said property...
> "Almost all D regular graphs are C colorable."
> N5_3
> N6_4 N7_4 N8_4 N9_4
> N10_5 N11_5 N12_5 N13_5 N14_5 N15_5 N16_5
> N17_6 N18_6 N19_6 N20_6 N21_6 N22_6
> *** N23_7 N24_7 N25_7 *** (tesh note please)
> (i believe these should be N23_6 N24_6 N25_6,
> and these also too, may be: N36_7, N49_8.)
>
> Fairly high degree random regular graphs,
> and all colorable with few colors.
> The threshold mostly used was D*C for
> the number of vertices. So, the N25_7 case
> was a 175 vertex graph, with degree 25, and
> one instance was randomly generated and then
> colored with seven colors. (note: I believe
> six is likely to be possible...)
>
> 2008: High quality random number generator.
> Polished the generator to be assured about
> the graph theory results. The posted generator
> is quite strong, with a period of over
> twenty million googles of bits, really fast.
> The Quality appears outstanding. By using the
> well known "Pairs of Dices" benchmark series,
> where the number of sides on the dice is prime,
> and over one hundred sides per dice, ...
>
>
________________________________________________________________________________\
____
Be a better friend, newshound, and
know-it-all with Yahoo! Mobile. Try it now.
http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ
dear michael
sorry about the nonjoke.
i see Zero traffic on the mailing list,
and frustration builds, i suppose.
it twas a bad taste flame,
to see if any would respond
( plus a pointer to a possible problem
with too many bats near the beef...).
since i have seen near zero list traffic
for well over a year, i was wondering
if the list is dead or am i just "special",
where i do not get to see any others posts?
++++++++++++
As you know, I have worked within the area
of PSpace, coNP, NP, satisfiability, and
Quantified Boolean Formulas for well over
ten years; I have also obtained quite alot
of good results, which is unusual in such
a difficult area.
Unfortunately, these results have mostly
been without any american contacts, so the
results seem to be aimed at a bit bucket.
Appended is a chronology of some results, a very
brief summary, of actual programs I have done.
I would love to engage in discussions with
anyone interested in these areas.
Pointers or invitations to other newsgroups
would be greatly appreciated.
My general interests involve followup work to
the 2006 theorem:
Polynomial space
equals
polynomial time
for medium sizes.
Appended is a series of works I have done
that hopefully will Convince that I am
an actual seriously able person in the area,
and that I am not merely a cracked potter...
By the way, I really truly am the same person who
actually truly designed those awfully completated
pentium Register Sets and Cache Memorys, too...
way back in 1993 or so, after Stanford grad school.
I needed money, so I got a chip job, and guess
what the job ended up being... since I was good
at graph partitioning algorithms, the taiwanese
hired me before merging with an american company
called Quickturn Design Systems. QDS emulated
large chips prior to final chip fabrication,
and my job was MULTI PORTED MEMORY. You probably
will never find any chip on planet earth with
more than FIVE WRITE PORTS and TWELVE READ PORTS,
for simultaneous writing and reading to and from
the CPU Register Set Memorys... because thats
the most I was able to emulate and design
efficiently, way back then, in the early nineties.
Sincerely, Daniel
Chronolgy of stuff I have done:
Sublinear String Matching,
freshman algorithms course,
Purdue University, 1980
Commercial usage: 1985, GMACS lisp editor,
Cambridge, MA, Gold Hill Computers, MIT.
Published 1997, with T.Lecroq, France.
algorithm title: Alpha Skip Search.
For alphabet sizes TWO or more.
O( N/M ), O( (N/M) lgM ), O( ( N/M + M )lgM ).
all three are valid descriptions of
the average case complexity
of Alpha Skip Search,
depending on ones knowledge of big oh.
Really good for cleanliness scanning
of binary library distributions
prior to major releases ...
Also good for GOOGLE like search engines, too.
Parallel Lisp, late 1980s, 1990.
QLisp, Stanford CS. Discovered,
designed, developed, the
Locally LIFO, Globally FIFO
resource allocation and scheduling algorithm.
Discovered Almost All three regular graphs
are hamiltonian, began intial studys of PSpace.
1992-1994 The Pentium emulation and debugging job.
1995-1997 NlgN Simple General Vision
data structures for high resolution
image processing into linear sized
data structures in NlogN time.
Basically, uses PLUS symbol shape to partition
the vision region into four vision regions,
then unite the results of those four.
1997 Some major PSpace theorems:
(Published on comp theory newsgroup)
#P=#Q : The number of satisfying assignments
of any boolean expression
is identical in number to
the number of valid quantifications.
Monotone QBFs are linearly decidable.
( monotone reason is self evident )
( just plug NIL for universal,
T for existential,
then evaluate the logical formalism )
1999 Sent the famous SQUARE GOOGLE BENCHMARK
to a satisfiability conference, with
a boolean expression on hundreds of variables
that had nearly a square google of solutions.
Thats 10^200.
2000 Connected components paper,
published with R Bayardo of IBM Almaden.
Described how the 10^200 was actually
truthfully computed, using components.
2002 Published Introduction to QSpace.
International Quantified Boolean Formula Meeting
The Italians placed my paper on PAGE ONE.
Rehash of some theorems. Indications of
an amazing high level equivalence of
some sort, on the outer boundarys
of polynomial space and time.
2006 Polynomial space equals
polynomial time for medium sizes.
Using the Greedy Two Clause Generation
method, began to get more amazing results.
2007 The Twenty One Graph Theorems
Theorems about random regular graphs.
The theorems were of the "Almost All" variety,
where the propertys are in almost all such
random regular graphs, with vanishingly low
probability of any random instance being
generated WITHOUT said property...
"Almost all D regular graphs are C colorable."
N5_3
N6_4 N7_4 N8_4 N9_4
N10_5 N11_5 N12_5 N13_5 N14_5 N15_5 N16_5
N17_6 N18_6 N19_6 N20_6 N21_6 N22_6
*** N23_7 N24_7 N25_7 *** (tesh note please)
(i believe these should be N23_6 N24_6 N25_6,
and these also too, may be: N36_7, N49_8.)
Fairly high degree random regular graphs,
and all colorable with few colors.
The threshold mostly used was D*C for
the number of vertices. So, the N25_7 case
was a 175 vertex graph, with degree 25, and
one instance was randomly generated and then
colored with seven colors. (note: I believe
six is likely to be possible...)
2008: High quality random number generator.
Polished the generator to be assured about
the graph theory results. The posted generator
is quite strong, with a period of over
twenty million googles of bits, really fast.
The Quality appears outstanding. By using the
well known "Pairs of Dices" benchmark series,
where the number of sides on the dice is prime,
and over one hundred sides per dice, ...
________________________________________________________________________________\
____
Be a better friend, newshound, and
know-it-all with Yahoo! Mobile. Try it now.
http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ
-----Original Message-----
From: comp-sci-theory@yahoogroups.com <comp-sci-theory@yahoogroups.com>
To: comp-sci-theory@yahoogroups.com <comp-sci-theory@yahoogroups.com>
Sent: Tue Mar 04 09:21:01 2008
Subject: [comp-sci-theory] first areally bad joke, then more on upon some nedative generators spayces
some jokes are so unsayable that some wonder why
this joke iscalled
one of the wurst jokes ever composted
spaced out into parts for
some slowness in perceptions
so so so
here goes
whatsa fagon a polon`
say laydir on
look ma
nohands
ottttaayyy so funnnnay
now how brow cow
thisnespar issobad
had to pratilly put
spay
between every letter
but he train big bulls like crazy
for just to hunt the
flyen mou spay caves
hehalf good price on good bulls
but he need good cows
and thats what cargo planes art for
he needs one hundred good moo cows now
sooooo
heres the aaaaaaaargh par
where art those generator spays
of the flyen mou
hmmmm
where the wind blows
follow badwards
to tiny tiny poin
such as honolulu
or tippy tip poin of aleutians
or tippy tip of baja sou sou of tee jay
or in ireland somewhere
or poortugal somwhere
or other tip of where
wind blows from
minus also on many islands
see so this sort of spense
is why kings havenay very many cows
but bulls hayhay flyen mou so
with good training they may find may be
then farmer who follow bull say
no smoking but
throw torch in flyen mou cave t
then run very very fast would be me
but gooluck
in south whi way the wind blows is other way
so looloo looloo madatgascar island
faultland island
newz ealand island
hmmmmm
whi half of the world
morlighly to win the thin
with dem eeeeeeeeeeeee
flyen mou
sodas the code message foron today
goooluck
anmay fifty percent holy water
nay sting your throats
near as moooo as mine
ow ow ow ow
hurt as much as if
as in when right arm say
five nazis at the burder control board muss die
an muss die now simly because my arm say so
is how deep my right arm could hurt
but how deep my throat did indeed sting
fornay turnup temperature on grill
fornay turning up the grills temperature
______________________________________________________________________
This email has been scanned by the CAMH Email Security System.
______________________________________________________________________
______________________________________________________________________
This email has been scanned by the CAMH Email Security System.
______________________________________________________________________
some jokes are so unsayable that some wonder why
this joke iscalled
one of the wurst jokes ever composted
spaced out into parts for
some slowness in perceptions
so so so
here goes
whatsa fagon a polon`
say laydir on
look ma
nohands
ottttaayyy so funnnnay
now how brow cow
thisnespar issobad
had to pratilly put
spay
between every letter
flyen spay mou flyen spay mou
gidye vwee builly
flyen spay mou
moo guano
king of spayn say enespanol
no say
but he train big bulls like crazy
for just to hunt the
flyen mou spay caves
hehalf good price on good bulls
but he need good cows
and thats what cargo planes art for
he needs one hundred good moo cows now
sooooo
heres the aaaaaaaargh par
where art those generator spays
of the flyen mou
hmmmm
where the wind blows
follow badwards
to tiny tiny poin
such as honolulu
or tippy tip poin of aleutians
or tippy tip of baja sou sou of tee jay
or in ireland somewhere
or poortugal somwhere
or other tip of where
wind blows from
minus also on many islands
see so this sort of spense
is why kings havenay very many cows
but bulls hayhay flyen mou so
with good training they may find may be
then farmer who follow bull say
no smoking but
throw torch in flyen mou cave t
then run very very fast would be me
but gooluck
in south whi way the wind blows is other way
so looloo looloo madatgascar island
faultland island
newz ealand island
hmmmmm
whi half of the world
morlighly to win the thin
with dem eeeeeeeeeeeee
flyen mou
sodas the code message foron today
goooluck
anmay fifty percent holy water
nay sting your throats
near as moooo as mine
ow ow ow ow
hurt as much as if
as in when right arm say
five nazis at the burder control board muss die
an muss die now simly because my arm say so
is how deep my right arm could hurt
but how deep my throat did indeed sting
fornay turnup temperature on grill
fornay turning up the grills temperature
heres a simple diagonalization
that may be uncommonly known
in math and theory
of comple taytion...
The Natural Theory Of Truth
Real natural counting diagonalization
provides a very large number of
high quality truths.
Here follows a description
suitable for seventh grade or
for the middle of middle school.
Theologians may with humor compare
to the older mathematicians older version where
they then for some time became
yet another one of the
several lost tribes of
"is reals" question.
1=1 2=1 3=1 4=1 5=1 ... n=1
1=2 2=2 3=2 4=2 5=2 ... n=2
1=3 2=3 3=3 4=3 5=3 ... n=3
1=4 2=4 3=4 4=4 5=4 ... n=4
1=5 2=5 3=5 4=5 5=5 ... n=5
...
1=n 2=n 3=n 4=n 5=n ... n=n
As a line of simple truth,
the given diagonal is clear.
What sorts of voids or waters
those truths pass through and do part
into aboves art greaterthans
with belows as lessthans
is nay near as clear.
This natural diagonal is call a "Dazys"
or a "Gazyz" or a "Godzists" ... those words
are all intentionally nearly of the same meaning.
The proper pronounciation vary by regionly
where longer note holding
with some depth
is preferred.
"Daaaaaaaaaaaaaaaaaaazzyyyyyyyyyyyyyyys"
where the daw sound is held longer
than the "zys" sound. There are
actually many words whose sound
is as yet unknown
while we are
everyday occupied
and ruled by
the lawses.
When you people of America are allowed
to have your own private homes
inside your own nations
then dear citizens and civilians
I encourage you people there
to sound out your words
for more deeper truths
that part the falsenesses
back into there darknesses
of emptyness of un i form.
There may truly be much much more
to the Theory Of Truth than given here.
For a sample, since discovering the holygrail
over two years ago, I have searched unsuccessfully
for any intelligent man in my own home country.
Even so I have spent my time anyway
cleansing and cleaning the grail.
Due to poor circumstance I may become frail.
No money for honey or home or for heart
leadeth not a man happily in his own country.
However tis nearly well cleansed now, the grail,
using the theory of add that is plus that is good.
The theorems of best translation
may very much have more there
than meets with the equations
Dreams big dream i,
a grandiose dream,
some may say,
that some day, some way,
the best logician living in the world,
would come, would say,
hear ye, hear ye, children
a big book of truth have i
and here tis that for you all dear children.
The Big Coloring Book,
the largest math book almost possible,
that some may say, is merely
Gods application of his nearly
nearly neatly cleansed holygrail
onto an abstray atinlay area called
medium sized ezistential degree bounded
regular graph property theory largely unknown
to many many man
or many woman
or many systems people.
Where in there could possibly be found
within that ezistentially known big coloring book
more dazys perhaps, more gold, or rubys, or diamonds.
What possibly use could highly dimensionally math,
as in identitys for entitys, of ones own, or anothers.
The intersting part is truly that,
while the big book would be very large,
and would be grand, and would be filled
with generations of efforts, with yearly updates...
The big propertys book of medium graphology
would nay even be by far,
be the book of all graphs,
of all concievable configurations.
While those simple truths in the above dazys
the real natural counting diagonal are many
the big propertys of graphs book isnay organized
quite like that, or with those, in one to one....
There are first proposed as in earlier days
the twenty one regular graph theorems.
in present day labelled somehow
with category names such as
n5+3 n6+4 n7+4 n8+4 n9+4
n10+5 n11+5 n12+5 n13+5 n14+5 n15+5 n16+5
n17+6 n18+6 n19+6 n20+6 n21+6 n22+6 n23+6 n24+6
n25+7
those are listed here from memory only
and nay from my own personal list... my error.
because during wartime
with retarded nen with weapons,
tis nearly impossible for
any scholarly or religious man
to have what is right
what is just
what is in
his homeland...
where the uto matons come from, so many...
they say unto us you have number shortage...
you must therefore leave your own home...
where all those cubans on the end of florida,
where in europe do they come from,
as if something sticky,
on the tip of americas penis...
shall that fall off.
or santa clara valley, tinese, tiny tiny tinese,
why art you there now, helping the leaders,
to run the american business company corporations...
anyways. pitchforks half price for now,
during heavy migration, to thwart cascade failure.
close the airports now, better than later.
foroners who are wealthy with both hands now,
better to leave now before, the airports all close.
better wealthy with both hands now, going home,
rather than poor later, with one hand,
and a job, as a one handed gay doorman,
in each and every one of our capitol citys.
by the way, one favorite concept here is where,
while tis seemingly nedative, and uncouth for
this holy writ, but,
bell, fuddit, dang, anallofdat,
ain got no money for honey honey... and so
the american high school graduate
is allowed during wartime within
and with and for america
who has been deafend from without,
made witless, made mindless,
made poor from outside of america...
is where any foron moron officer by any other name,
whether an evil prick foron leader of a war company,
as in those false credit rating bullshit records,
must PAYPAYPAY to the american high graduate
five or ten thousand dollars,
for removing evil,
for removing the foroners gun hand.
well times up, so long, later...
i may be in transition soon, or shortly.
sincerely daniel.
ps
gotta go now.
i truly do hope
to know the way
to san jose
real soon.
spending my merely one hour per day
of truth composition time
as allowed by the rules of state lawses
when they want to do more piggy piggy
unto you dear children of animal farm
Clearly the results from over two years ago
are having a profound effect on theory. The
mailing lists are shutting down, and the job
opportunitys may be disappearing, but this
should be temporary ...
The initial work on the Big Coloring Book appears to
be outstanding in future benefits for humankind,
in terms of golden nuggets, diamonds, sapphires
and rubys, and grains of wheat and corn too perhaps,
that may be made available from the universal
mathematical theory of primitive regular graphs.
Has "the greedy two clause" generator method been
successfully applied yet to Wei Chi? Has anyone
else successfully implemented or tried the
"greedy two clause" method for translating boolean
spaces into simpler, more descriptive spaces?
They may also be interested in other theorys of
bits such as
"Maximal Period
Sixteen Bit Arithmetic
Prime Random Number Streams "
which I would used for more Big Coloring Book
results when I eventually get my own home in my
own country after the war.
On the topic of capturing territory, there
are very interesting metrics available.
mmmmmmmmmmmmmmmmm
Forgive any mispercieved hostility.
My other newsgroups have disappeared,
and my human rights in my own country
have been REPEATEDLY and DRASTICALLY
abridged. So, I analyze the situation
as best I can, and I wonder, "HAL,
are all the pod bay doors made in china?"
For samples of capturing territory, try counting
the number of injustices or wartime atrocities
committed by retarded men with guns against the
citizens of North America. Many metrics may
be made up, and most are easily comprehendable
by Americans. Tis just that we find whacking
off the retarded canadians gun hand to be
an unpleasant preliminary to giving them a
job as a One Handed Doorman.
Correlations of number of injustices may be made
with the number of retarded men with guns from canada,
in every little local area.
After plotting the injustices on a map of
North American Territory, look for Centroids.
For example, Toronto is such a centroid, and
alot of refugees from hong kong probably work
very hard in the credit rating industry there.
The Infinite money supplys for retarded men with
weapons, and the near zero number supplys for
american scholars with enormous math results
waiting to be delivered to his country,
together indicate, in the dryest, most
Binesteinian voice that can possibly
be dreamed up, that there may
actually have existed a
chinese war department
in Toronto.
when many chinese exiles were enslaved
in Toronto, forced to make war upon North America,
by the government, what should North AMerica do?
Also, maybe seek a Centroid at Santa Clara Valley,
and look at the fires centered around UCSD Graduate
schools, and enormous losses to republican party
and business leadership there.
Keyword phrases may be these someday
Home Court Advantage Building
and any in the court building who
does nay understand the phrase during wartime
goes into the dunmpster out back.
Great Cuban Homegoing
The exodus from Florida back to Cuba has
been some time in arriving, but now that its here,
happy days are spreading all over the southeast.
Two Million Boat Reservations from Miami
back to cuba are needed to be made,
and many organizations are being started there.
Democracy shall return to Cuba, we have nay doubt.
As for Santa Clara Valley, the latest Mikey offer
is Thirty Billion. They have to take the money
and make plane resevations back to hong kong
before the next presidential election. Lest
someone begin selling Pitchforks Halfpriced
all across Texas, with an address, and a dollar
prize award from Mikey, upon the pitchfork handle.
Why did the offer go DOWN? Because, friends,
the offer was nay negotiable. The offer was serious.
The offer was made. The Great HOMEGOING is an
american civilian citizen Theme, which is well
underway across the country. We are surely going
to strive to have the large parts cleaned up
or at least underway, before the election.
Anyway, clearly, warplanning has been
done UNTO north america. And even some
pspace computations were made. But,
soon may come the time, when Pitchforks Halfpriced,
shall be available at every hardware store,
with a personalized downloaded google map
and business address, with LOTTERY DOLLAR PRIZES
upon each handle. Believe me, dear migration people,
americans are past the breaking point, and MANY MANY
of them are so tired of the war that they may
be able to say, fukkit, them goinda bukkit.
Have a nice day!
btw plane reservations back to india and china
are cheaper by the dozen BEFORE the airports close
after British Petroleum closes,
WHO GETS THEIR GAS STATIONS?
SOHIO!!! is my answer... in best Drew Carey Voice...
Still wondering if anybody is out there...
Anyway, while I doan want to really blog
on a theory mailing list, but since there
also do not seem to be any theoreticians
on any mailing lists, and the mailing lists
are both disappearing and getting filled
with spam....
Heres an enormously hysterical joke
that I made up this morning after reading
the USA Today editorial page, Feb 15, 2008.
The Theme of the joke is
A Slow, Measured Question,
While wearing the
Johnny Carson Karnakain Turban
First the Karnakian quastion, delivered slowly...
What
or who
is
an
idiot
ANSWER
After recieving
one whole
entire
year
of deep dark torturous
chinese medical treatment
where the nightly torture is
"yousobiiiig"
the captured american pilot
and future american governor material
was asked one question
"youwan gohome america now"
and then our wart hero said
"NOOooooo"
so the chinese medical specialists say
"okay four year moron you"
anyways,
i thought it was Hysterically funny.
--- In comp-sci-theory@yahoogroups.com, "pehoushek1" <pehoushek1@...>
wrote:
>
>
> Is anybody back there? Just wondering
> if my posts are being swined all up,
> as pearls would be, or if any others
> actually see them...
>
Is anybody back there? Just wondering
if my posts are being swined all up,
as pearls would be, or if any others
actually see them...
I picked up a book this morning.
Fermats Enigma; I looked at the cover
both front and back, and I noticed
the following cute little things...
You all know the equation well,
so no need to review that...
I found two translations
of the equation into
major major truth:
These two solutions are true:
Lower all powers,
or
Lift the Plus.
Either way will do, to multiply.
Seven words, for seventh grade,
tis the way Plus and Times are made.
In more humorous detail,
xn + yn = zn : all powers lowered.
x^n * y^n = z^n : the plus Lifted up!
The independence of n in both translations
of Fermasts last equation yield many many
particular solutions... the monotonicity
may be noticed by some scholars, as well as,
and this is subtle, the "adjacency", of
multiply to plus, and of multiply to power...
where though, the famous wiley equation
has a gap in between, which makes
quite nearly impossible, for solving.
So call Andrew, and tell him: I found the answer.
Just rotate that middle symbol, the Plus, on the left.
Rotate forty five degrees, and then, when amended,
the equation he was working on, shall be well!
Seriously though, they are very useful,
for illuminating some deepness,
in the seventh grade.
This then is my Valentines Day gift
to all future high math teachers.
Hi Stas.
Adieu and dosvidanya
to the forge,
may it R.I.P.
Hey, thanks for running the group,
for so many years. Sorry for the
abrupt revelation that I was the
actaul designer of most of the
pnetium cpu memory circuitry.
I really should have
mentioned it sooner.
But, I was busy.
Does that new theory book mention anything
about greedy two clause generators?
After discovering them, in 2006, I was
really amazed by the results:
Twenty one regular graph theorems
These theorems are all of the form:
Almost all r regular graphs are c colorable.
And the theorems range from lower degrees,
as with n5_3, n6_4, n7_4, n8_4, n9_4, n10_5 ...
on up to n25_7, and surely there are
many more similar theorems to follow.
The twenty one theorems were all proven by:
A First guess the proper threshold.
(r*c was used for most of the twentyone.)
B Above the threshold, almost all graphs
with the given r regular degree
are c colorable.
C Then generate one of those medium sized randomly;
D Then c color the single randomly generated graph.
Almost all of the twenty one theorems were so proven
on the first try, with the r*c threshold.
The larger ones did take several hours of runtime,
with some thousands of booleans in the translation.
I did end up putting some extra effort into
the random number generator, just to verify
that the results were for real.
I spent 2007 polishing the equations,
and I have actually managed to, get this,
remove all negations from the equations!!!
The present version of the equations has:
zero negations,
zero minusses,
zero divides,
zero multiplys.
zero negative numbers, so types are unsigned,
so verification of correctness is easy.
the equations use only PLUS ONE,
as the only math operand.
there are a few hundred comparisons,
all lessthan or equals comparisons.
there are less than two hundred forloops.
there are about five hundred assignment operations.
Would be really great to get an office
somewhere in my own country
where these equations
could be put in the bank.
I call it the holygrail,
and would really love to
help build the big coloring book,
using the above mentioned twenty one theorems
as some of the chapters.
The books value would be enormously helpful,
for mining through graph math, and maybe even for
help solving governmental Identitys for Entitys
issues.
But, who would ever believe me?
Well hell, none of them even believed the
Nearly Square Google benchmark was even plausible...
just the same way as few people believe me
when I say:
Hey you,
ever heard of
the Pentium CPU?
I done dat!
Well I did, in 1992 or so.
Anyways, I hope to
come back to the Valley in March,
and hold out my cup for change...
because I do not have enough for
running toilet water in pennsylvania,
Many Cheers, and,
Be Seeing You,
Subtle village references intended,
Daniel
--- Stas Busygin <busygin@...> wrote:
> Hi All,
>
> I've just found that a really thorough textbook
> "Complexity Theory: A
> Modern Approach" by S. Arora and B. Barak is
> available online:
> http://www.cs.princeton.edu/theory/complexity/
>
> It may be a good replacement for Garey&Johnson as it
> cover more recent
> developement.
>
>
> --Stas
> http://www.stasbusygin.org
>
>
>
________________________________________________________________________________\
____
Be a better friend, newshound, and
know-it-all with Yahoo! Mobile. Try it now.
http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ
Hi All,
I've just found that a really thorough textbook "Complexity Theory: A
Modern Approach" by S. Arora and B. Barak is available online:
http://www.cs.princeton.edu/theory/complexity/
It may be a good replacement for Garey&Johnson as it cover more recent
developement.
--Stas
http://www.stasbusygin.org
The program uses all the fifteen bit primes
to generate an endless stream of high quality
low cost random bits with a very long
period. The permutation group element size
that was actually applied to
ALL of the fifteen bit primes
has a cycle size greater than
ten to the seventy.
That permutation subgroup size
may in fact be closer to
ten to the seventy five.
BTW, adding all sixteen bit primes
does very little additional good,
and does add high transient cost,
although normal per bit cost
would go slightly lower.
There is one portion of the routine
that needs improvement but tis
all of three instructions in length
so I did nay bopther right now.
The tests on the prime squareds field
were really quite good and the
results should compare favorably
with EVERY other known
random number generator.
Thats not a boast,
its a very highly educated guess.
Sincerely, Daniel
--- In comp-sci-theory@yahoogroups.com, "Omar" <evenfall111@...> wrote:
>
> well okay i did my homework...but there is still one question i cant
> answer..
>
> "Define the grammar that generates the set of all words over {(,)} of
> balanced parenthesis"
>
> your help is much appreciated :D
>
Maybe we can do it like...
BALANCED generates BALANCED(BALANCED)BALANCED or BALANCED{BALANCED}
BALANCED or the empty string.
I guess it works, or a slight modification of it works. :)
Best,
Ching-Lueh
well okay i did my homework...but there is still one question i cant
answer..
"Define the grammar that generates the set of all words over {(,)} of
balanced parenthesis"
your help is much appreciated :D
Hey guys! Im taking automata course and I have some questions:
-small stuf like..is every FA an NFA and vice versa..is Every TG an FA and stuff like that.. -similarly..is every context free grammar context sensitive…or context free..stuff like that -given CFG,G1=(N1,T1,P1,S1)generating language L1 and ,G1= (N2,T2,P2,S2)generating language L2,find following context free grammars: G3 which generates langauge L3=L1UL2 G4 which generates langauge L4=L1L2
-Find grammar equivalent to S-->AB|CA A-->a B-->BC|AB c-->aB|b with no useless symbols
please please this one is very important! -Define the grammar that generates the set of all words over {(,)} of balanced paerthesis
-Convert the following language to Chomsky Normal Form
S-->aAb|bBa|AA A-->S|B B-->C C-->S|A
I appreciate your time guys :) my exam is due next week so I'll be very thankful if these are answered ;)
Hey guys! Im taking automata course and I have some questions:
-small stuf like..is every FA an NFA and vice versa..is Every TG an
FA and stuff like that..
-similarly..is every context free grammar context sensitive…or
context free..stuff like that
-given CFG,G1=(N1,T1,P1,S1)generating language L1 and ,G1=
(N2,T2,P2,S2)generating language
L2,find following context free grammars:
G3 which generates langauge L3=L1UL2
G4 which generates langauge L4=L1L2
-Find grammar equivalent to
S-->AB|CA
A-->a
B-->BC|AB
c-->aB|b
with no useless symbols
please please this one is very important!
-Define the grammar that generates the set of all words over {(,)} of
balanced paerthesis
-Convert the following language to Chomsky Normal Form
S-->aAb|bBa|AA
A-->S|B
B-->C
C-->S|A
I appreciate your time guys :) my exam is due next week so I'll be
very thankful if these are answered ;)
blessed Mother, rock my world!
Millennium
.
..
the electric charge, first and only unit
of matter, definer of space and times, distance,
measure.
the tickler, which moves our hearts to beat ...
our voices to sing ...
the tingle, moving down the uppermost leaves
and branches of our cousin tree, down through
its body to the deepest filamentary fibrous
roots touching the Earth ...
day's warmth, Grandmother Sun's caress, on our
tear-filled faces, carried throughout our being,
aye, even unto our happiest of toes, stretching ...
these thoughts, emotions, in this very now ...
that light in our child's eyes!
~~~
how does it all come to be? (this ephemeral
'certainty'? )
this experience divine, this knowing and growing,
this sharing amongst family, this sacred creation?
our life of wondrous sensation, immeasurable
communication, our physical bodies and material
world?
how does electromagnetic spirit, consciousness,
light, song become manifest as fire, electricity,
plasma ... and thence atmosphere (breath) ...
ocean ... earth ... garden ... life ... all our
ancestral relations? (whale, dolphin, bear, deer,
coyote, crow, lizard, frog, cricket ...)
the two forms of matter, electron and proton
(fire, electricity) from which all materiality
is built and cooled!
science and mathematics, language and number,
culture and philosophy!
as one of our many yahoo physics denizens noted,
"even Wolfgang Pauli couldn't put a finger on the
origin of the Fine Structure Constant" ... of 137,
discovered by Arnold Sommerfeld in 1916 in the
measurements of the frequencies of the spectrum
of hydrogen; finally revealed and explained in the
discoveries by Millennium Twain in 1994, in the
standing-electromag netic-wave structures of the
electron and (superluminal) proton, and neutron!
Werner Heisenberg or Neils Bohr would have been
'shocked' to hear someone even ask the forbidden
question ... and Max Planck would have erased the
heretical dialog from the 'net' [But not Michael
Faraday, Andre-Marie Ampere, or Nikola Tesla! not
Leonardo DaVinci or Galileo Galilei, nor Kristian
Birkeland of Norway, Jack Piddington of Australia ...]
how did the covert bankers, governments, 'corp-
a-rations' arrange that ALL of physical science
knowledge would be suppressed, indeed hidden by a
'pseudo-German' physics guild, approved of and
followed by the malleable French and manipulating
English, and the gullible Americans? [The obedient
Japanese and the whole enslaved world?]
by pretending that physics, knowledge, the living
'Electro-verse' , spoke Deutsche? That creation was
German?? They thought (correctly) that all the
world's 'corpse-a-rations' , 'gov-a-ments' , media,
publishers, schools -- would go along with that
European scam, the dumbing-down of all peoples?
yes. and they were 'right', for a hundred years.
during that violent 20th century run by the churches,
the mafias, the militaries.
until now, the universal 'now' ... of all times,
all cultures, all knowing, all our ancestors.
all spirit ...
..
.
[to be added -- transcribe text from pages 8-9 of
"The Electron" from 1993, proving how creation is
accomplished, where the number 137 comes from, in
the light from hydrogen ... and how the electro-
magnetic waves become an electron, charge ... and
also pages 10-11 showing how the frequencies and
wavelengths of light (red, ultraviolet, gamma) make
up the structure of the electron, and how they and
other frequencies are and may be released in hydrogen
reactions ... to warm & illumin our world, provide
our power needs and transportation. ]
http://groupkos.com/mtwain/TheElectron.pdf
[add discussion from chapter 2 of Metric Relativity,
The Proton, showing how the number 137, discovered
in the light given off by hydrogen, an electron
wrapped around a proton, is simply a harmonic, which
comes from the 137-loop fundamental frequency and
structure of the *superluminally- spinning* proton!]
origin of number, math, song, being!
http://groupkos.com/mtwain/TheProton.pdf
[also add discussion from recent articles in
NuclearStructure and DiosasAncianos2012 on the four
'dimensions' of experience, sensation, which I proved
to be encapsulated in the totality of the helicoidal
electromagnetic wave -- transverse electric and
magnetic 'feelings', and centripetal/ centrifugal
'love', and longitudinal sound, song!]
the WHOLE of experience, creation, power and knowing.
gift of global consciousness, the blue star, the
maitreyah, maadi, maschiak, messiah, adi shakti ...
morphic grid, morphogenic field, goddess light,
aboriginal grandmother' s wisdom ... our collective
feminine returned.
sung by all our sacred relations.
31 December 2007
..
.
1 January 2008
Re: The Gift ... Discovery Of DIVINE Creation!!!
draft Transcription and explanation from
pages 8-9 of The Electron from 1994.
http://groupkos.com/mtwain/TheElectron.pdf
.
..
Historical interpretation of the observational,
experimental and theoretical properties of an
electron have yielded three basic 'scales' for
its domains. Names associated with those scales
are: 1) the 'Classical' electron radius, 2) the
Compton scattering wavelength, and 3) the Bohr
'orbital' radius.
If you used the first two scales to depict a
toroid of small 'twist' diameter and large 'spin'
diameter, you would come up with the small GAMMA
ray (twist) radius of 2.81794 fermi. [A fermi is
ten-to-the-minus- thirteen centimeters. ] The large
(spin) radius is from Compton X-RAY scattering
and is 386.19 fermi. To convert to wavelength
multiply by 2 time Pi, to get 2426.3 fermi.
The other radius, wavelength, frequency is the
electronic P-Shell ULTRAVIOLET separation distance
of the electron-wave from the proton nucleus of
the hydrogen atom. These Bohr 'orbital' radii are
on the order of 52,918 fermi. A very large number,
compared to the 3/4 fermi radius of the proton,
yet still a small enough wavelength, large enough
frequency, to be in the UV or BLACKLIGHT range
of emission spectra.
The Conception of Charge
Now it may not be clear from the above discussion
[see pictures in TheElectron] just why closure of
an electromagnetic wave into a circle or figure-8
or other closed Lissajous topology -- why that
closure results in the property of 'charge'!
It is quite simple actually. Recall your basic
electricity and electromagnetism:
1) Electric potential [Voltage] is an electroSTATIC
charge force [gradient] resulting from the physical
separation of 'charge carriers', charges (i.e.,
electrons on one side of a capacitor, or ions
separated in a chemical battery).
2) An electric current [DC = direct current] results
when a conductor is place across the potential
barrier, and current flows until charge is neutralized
(work is done, voltage then goes to zero.)
3) STATIC electricity has no magnetic field
associated with it. When direct current flows,
it generates a static perpendicular magnetic field.
[Similarly, the motion of a magnetic field
generates current flow.] When an AC (alternating
current) signal flows, it generates a dynamic
magnetic field which rotates around the conductor
varying 'sinusoidally' [actually helicoidally] from
positive to negative and back to positive. It is
then able to separate from conductor and propagate
into 'space'. Viz, a radio wave for example.
4) An electromagnetic wave propagates at high
velocity, with 300,000 km/sec as the average
value of 'lightspeed' . As it passes through the
media, an antenna for example, it induces oscill-
ating magnetic fields and charge flow. In a radio
receiver that will result in AC energy absorption
providing an audio signal. No net CHARGE results
from an AC (phase) signal.
5) Charge is by definition a separation of static
'carriers'. Electrostatic charge can ONLY build
up because electrons have the property of assuming
ANY VELOCITY, INCLUDING ZERO VELOCITY. They can
be static! An electromagnetic wave, by definition
and observation, must propagate at high velocity,
on the order of 300,000 km/sec. It cannot be
confined. [It may be bent, reflected, absorbed,
re-admitted, etc. but it conveys NO charge to the
surrounding media.'] It is merely a signal,
NOT a charge.
The Metric Relativity model of a standing lightwave
electron -- just described above with the Classical
and Compton spectra dimensions -- has transformed
its EXTERNAL linear propagation velocity of an
electromagnetic wave into an INTERNAL cyclical
path and vibration. This creates the total absence
of EXTERNAL motion! It, the electron, can therefore
be trapped, localized, contained, 'cooled' (i.e.,
confined, grouped and separated), thereby creating
the phenomenon of electric GROUP amplitude potential
which we also know as Voltage!
Charge, voltage, is the consequence of Creation!!
Experience, sensation, history, encapsulated in matter!!!
~~~
You have just witnessed another proof, amongst many
in The Undiscovered Physics, of the Discovery of the
Creation of Charge, the Creation of Matter.
The reason why institutional, 'politically- correct'
and especially covert, physics has never been able
to do this -- is because it has NEVER FOCUSED ON
THE INCARNATION OF EXPERIENCE, OF PHENOMENA, OF PERSONA,
OF SPIRIT, OF CONSCIOUSNESS ... THEY FOREVER DENIED
THE POSSIBILITY OF THEIR SUCCESS BY DENYING TRUTH,
DENYING SPIRITUALITY!
BY DENYING EXPERIENCE, KNOWLEDGE, SENSATION,
CONSCIOUSNESS, THE EMPIRICAL -- BY INSISTING ON A
DEAD PHYSICS AND A DEAD COSMOS -- THEY DENIED THEMSELVES
THE OPPORTUNITY OF EVER WITNESSING LIFE AND ITS
UBIQUITOUS CREATION ... EVERYWHERE AND EVERY-WHEN!
ELECTRICITY, MAGNETISM, LOVE, SONG ...
THE FOUR-DIMENSIONAL ELECTRODYNAMIC MOTHER-COUNTRY
KNOWN BY ALL OUR SACRED RELATIONS!
..
.
Wait a minute. Is it Millenium Twain, or Messiah Twain?
--
The Internet. Only the latest democratization
of nuttiness. After newspapers and television.
The Einstein paper was trivial garbage,
the SRT (Special Relativity Theory) paper.
Anyone can get the little book at their
local library and read it ... there NEVER
was a constant velocity of light measured,
nor theoretically demonstrated. It was
purely a political decision by aristocrat
publisher Planck, and later the whole covert
western physics establishment.
Read Sommerfeld and Brillouin, each ten-
times more brilliant, or a hundred times,
than Planck or Einstein.
Here is the true physics, and references:
http://groupkos.com/mtwain/FTLpart1.pdfhttp://groupkos.com/mtwain/FTLpart2.pdf
Einstein, when he wrote the SRT paper had
not even learned algebra yet ... so his
wife, a much better mathematician, did the
math for him. They did NOT derive a constant
velocity of light in SRT, they DEFINED
light velocity as constant otherwise the
algebra was beyond their COMBINED capability!
Anyone who reads English know this, as the
paper was short and easily readable.
Later, after being invited to 'teach' at
Princeton [to learn math and physics so he
wouldn't embarrass the physics guild], Einstein
(oops) made a baby with one of his students.
His wife divorced him, and when the covert
institution later gave him his 'hush-money'
gift of a Nobel Prize, he gave the cash to
his former wife.
If you want to know more about gangster physics,
read up on how young elite (and German) Planck,
his family close to the Siemens Corp, was
offered the Chair of the Vienna (Austrian!)
Physics Department in 1906, over the much much
senior and brilliant Austrian Boltzmann!
[Boltzmann's work reflected the phenomenally-
based physics of his colleague Ernst Mach, and
thus a chance for a true physics to reach the
public, which had to be put down.]
The emotional Boltzmann committed suicide.
Millennium Twain
http://groupkos.com/mtwain
-- In Electric Universe, Geroge DeCarlo wrote:
Has there been an article written from the
Electric Universe model challenging the supposed
limit of the Speed of Light on travel?
..
--- In comp-sci-theory@yahoogroups.com, "manzur1986" <manzur1986@...>
wrote:
>
> Let C[n] = {x | x is a binary number that is multiple of n}. Show
> that for each n >= 1, the language C[n] is regular.
> Thanks in advance
>
Say n=7. Your DFA has 7 states q_0, ..., q_7. It is in q_k when the
part of the input that has been read is k mod 7. Just need to figure
out the state transitions when one more bit is read.
Best,
Ching-Lueh
It's a subfield in game theory and computer science. I am working
on a scheduling problem from the mechanism design setting. So if
anybody is interested in it, please discuss with me.
Hi,
I've been lurking on this group for sometime now, and thought I'd
better make a post. I have just started studying for a PhD at Durham
University in the UK. My main research area is the applications of
finite model theory to theoretical computer science, mainly
descriptive complexity theory.
Are there any other researchers on this group, and if so, what parts
of theoretical computer science are you interested in.
Regards,
James Gate.
This is exactly the type of thing that is not wanted on this group. This is not a homework answer database. Continue like this and you will be banned.
Mike Christoff
Moderator
-----Original Message----- From: comp-sci-theory@yahoogroups.com [mailto:comp-sci-theory@yahoogroups.com]On Behalf Of manzur1986 Sent: October 29, 2007 4:59 PM To: comp-sci-theory@yahoogroups.com Subject: [comp-sci-theory] Sipser. Introduction to Computation Theory. Problem: 1.37
Let C[n] = {x | x is a binary number that is multiple of n}. Show that for each n >= 1, the language C[n] is regular. Thanks in advance
______________________________________________________________________ This email has been scanned by the CAMH Email Security System. ______________________________________________________________________
______________________________________________________________________
This email has been scanned by the CAMH Email Security System.
______________________________________________________________________
--- In comp-sci-theory@yahoogroups.com, "manzur1986" <manzur1986@...>
wrote:
>
> Hi! I'm a student, and I study Information Systems. But here I would
> discuss "Introduction to Theory of Computation" by M. Sipser and
> "Model checking" by Clarke. Finally, I want to ask: Is there any
> answers to "Introduction to Theory of Computation" by M. Sipser".
> Thanks to the author of this forum and to the others
>
Dear Manzur,
Sometimes googling might help, but I don't know of a version of
complete answers to that book. Maybe just post it here when a problem
encounters. Someone might solve it. :)
Best regards,
Ching-Lueh