Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000461262> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2000461262 endingPage "16" @default.
- W2000461262 startingPage "1" @default.
- W2000461262 abstract "The Maximum Density Still Life Problem (CSPLib prob032) is to find the maximum number of live cells that can fit in an n×n region of an infinite board, so that the board is stable under the rules of Conwayʼs Game of Life. It is considered a very difficult problem and has a raw search space of O(2n2). Previous state of the art methods could only solve up to n=20. We give a powerful reformulation of the problem into one of minimizing “wastage” instead of maximizing the number of live cells. This reformulation allows us to compute very strong upper bounds on the number of live cells, which dramatically reduces the search space. It also gives us significant insights into the nature of the problem. By combining these insights with several powerful techniques: remodeling, lazy clause generation, bounded dynamic programming, relaxations, and custom search, we are able to solve the Maximum Density Still Life Problem for all n. This is possible because the Maximum Density Still Life Problem is in fact well behaved mathematically for sufficiently large n (around n>200) and if such very large instances can be solved, then there exist ways to construct provably optimal solutions for all n from a finite set of base solutions. Thus we show that the Maximum Density Still Life Problem has a closed form solution and does not require exponential time to solve." @default.
- W2000461262 created "2016-06-24" @default.
- W2000461262 creator A5035249904 @default.
- W2000461262 creator A5064839018 @default.
- W2000461262 date "2012-06-01" @default.
- W2000461262 modified "2023-09-27" @default.
- W2000461262 title "A complete solution to the Maximum Density Still Life Problem" @default.
- W2000461262 cites W1521034429 @default.
- W2000461262 cites W1582504619 @default.
- W2000461262 cites W1584243346 @default.
- W2000461262 cites W1890114378 @default.
- W2000461262 cites W1991080235 @default.
- W2000461262 cites W2020791765 @default.
- W2000461262 cites W2059035667 @default.
- W2000461262 cites W2114231362 @default.
- W2000461262 cites W2132753073 @default.
- W2000461262 cites W2159875930 @default.
- W2000461262 cites W2341171179 @default.
- W2000461262 cites W91781137 @default.
- W2000461262 cites W2089243871 @default.
- W2000461262 doi "https://doi.org/10.1016/j.artint.2012.02.001" @default.
- W2000461262 hasPublicationYear "2012" @default.
- W2000461262 type Work @default.
- W2000461262 sameAs 2000461262 @default.
- W2000461262 citedByCount "4" @default.
- W2000461262 countsByYear W20004612622013 @default.
- W2000461262 countsByYear W20004612622014 @default.
- W2000461262 countsByYear W20004612622016 @default.
- W2000461262 countsByYear W20004612622022 @default.
- W2000461262 crossrefType "journal-article" @default.
- W2000461262 hasAuthorship W2000461262A5035249904 @default.
- W2000461262 hasAuthorship W2000461262A5064839018 @default.
- W2000461262 hasBestOaLocation W20004612621 @default.
- W2000461262 hasConcept C111919701 @default.
- W2000461262 hasConcept C126255220 @default.
- W2000461262 hasConcept C134306372 @default.
- W2000461262 hasConcept C177264268 @default.
- W2000461262 hasConcept C199360897 @default.
- W2000461262 hasConcept C2778572836 @default.
- W2000461262 hasConcept C2780801425 @default.
- W2000461262 hasConcept C33923547 @default.
- W2000461262 hasConcept C34388435 @default.
- W2000461262 hasConcept C37404715 @default.
- W2000461262 hasConcept C41008148 @default.
- W2000461262 hasConceptScore W2000461262C111919701 @default.
- W2000461262 hasConceptScore W2000461262C126255220 @default.
- W2000461262 hasConceptScore W2000461262C134306372 @default.
- W2000461262 hasConceptScore W2000461262C177264268 @default.
- W2000461262 hasConceptScore W2000461262C199360897 @default.
- W2000461262 hasConceptScore W2000461262C2778572836 @default.
- W2000461262 hasConceptScore W2000461262C2780801425 @default.
- W2000461262 hasConceptScore W2000461262C33923547 @default.
- W2000461262 hasConceptScore W2000461262C34388435 @default.
- W2000461262 hasConceptScore W2000461262C37404715 @default.
- W2000461262 hasConceptScore W2000461262C41008148 @default.
- W2000461262 hasLocation W20004612621 @default.
- W2000461262 hasOpenAccess W2000461262 @default.
- W2000461262 hasPrimaryLocation W20004612621 @default.
- W2000461262 hasRelatedWork W1598979804 @default.
- W2000461262 hasRelatedWork W2018828049 @default.
- W2000461262 hasRelatedWork W2042726902 @default.
- W2000461262 hasRelatedWork W2136053165 @default.
- W2000461262 hasRelatedWork W2224648581 @default.
- W2000461262 hasRelatedWork W2996940612 @default.
- W2000461262 hasRelatedWork W3046256638 @default.
- W2000461262 hasRelatedWork W3080875783 @default.
- W2000461262 hasRelatedWork W3104048492 @default.
- W2000461262 hasRelatedWork W4289419495 @default.
- W2000461262 hasVolume "184-185" @default.
- W2000461262 isParatext "false" @default.
- W2000461262 isRetracted "false" @default.
- W2000461262 magId "2000461262" @default.
- W2000461262 workType "article" @default.