Sökning: onr:"swepub:oai:DiVA.org:kth-134211" >
Combinatorial Slice...
Combinatorial Slice Theory
-
- de Oliveira Oliveira, Mateus, 1982- (författare)
- KTH,Teoretisk datalogi, TCS
-
- Meinke, Karl, Professor (preses)
- KTH,Teoretisk datalogi, TCS
-
- Arnborg, Stefan, Professor (preses)
- KTH,Teoretisk datalogi, TCS
-
visa fler...
-
- König, Barbara, Professor (opponent)
- Fakultät für Ingenieurwissenschaften, Universität Duisburg-Essen
-
visa färre...
-
(creator_code:org_t)
- ISBN 9789175019338
- Stockholm : KTH Royal Institute of Technology, 2013
- Engelska viii, 195 s.
- Relaterad länk:
-
https://kth.diva-por... (primary) (Raw object)
-
visa fler...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- Slices are digraphs that can be composed together to form larger digraphs.In this thesis we introduce the foundations of a theory whose aim is to provide ways of defining and manipulating infinite families of combinatorial objects such as graphs, partial orders, logical equations etc. We give special attentionto objects that can be represented as sequences of slices. We have successfully applied our theory to obtain novel results in three fields: concurrency theory,combinatorics and logic. Some notable results are:Concurrency Theory:We prove that inclusion and emptiness of intersection of the causalbehavior of bounded Petri nets are decidable. These problems had been open for almost two decades.We introduce an algorithm to transitively reduce infinite familiesof DAGs. This algorithm allows us to operate with partial order languages defined via distinct formalisms, such as, Mazurkiewicztrace languages and message sequence chart languages.Combinatorics:For each constant z ∈ N, we define the notion of z-topological or-der for digraphs, and use it as a point of connection between the monadic second order logic of graphs and directed width measures, such as directed path-width and cycle-rank. Through this connection we establish the polynomial time solvability of a large numberof natural counting problems on digraphs admitting z-topological orderings.Logic:We introduce an ordered version of equational logic. We show thatthe validity problem for this logic is fixed parameter tractable withrespect to the depth of the proof DAG, and solvable in polynomial time with respect to several notions of width of the equations being proved. In this way we establish the polynomial time provability of equations that can be out of reach of techniques based on completion and heuristic search.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Combinatorial Slice Theory
- Partial Order Theory of Concurrency
- Digraph Width Measures
- Equational Logic
Publikations- och innehållstyp
- vet (ämneskategori)
- dok (ämneskategori)
Hitta via bibliotek
Till lärosätets databas