New Reply

Number of path in Kripke Structure

 
Share Thread Thread Tools
Jan26-13, 10:47 AM   #1
 

Number of path in Kripke Structure

Given an acyclic kripke structure (http://en.wikipedia.org/wiki/Kripke_...el_checking%29), is the number of possible paths (path that start from initial state and ends in final state) exponential to the number of states? If yes, what is the simple argument for it (just few sentences), or is there any references that mentioned this?
PhysOrg.com
PhysOrg		 mathematics news on PhysOrg.com

>> Mathematicians analyze social divisions using cell phone data
>> Can math models of gaming strategies be used to detect terrorism networks?
>> Mathematician proves there are infinitely many pairs of prime numbers less than 70 million units apart
New Reply
Thread Tools


Similar Threads for: Number of path in Kripke Structure
Thread Forum Replies
term structure isomorphic to the usual model/structure of number theory Set Theory, Logic, Probability, Statistics 2
Question on Number of Degrees of Freedom in a Simple Structure Engineering, Comp Sci, & Technology Homework 6
Number and structure Calculus & Beyond Homework 13
links between Everett, Feynman, Kripke? Beyond the Standard Model 2
Electronic Structure (magnetic quantum number) Biology, Chemistry & Other Homework 6