Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Combinatorial Slice Theory
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.
2013 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

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:
  1. 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.
  2. 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:
  1. 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:
  1. 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.
Place, publisher, year, edition, pages
Stockholm: KTH Royal Institute of Technology, 2013. , viii, 195 p.
Keyword [en]
Combinatorial Slice Theory, Partial Order Theory of Concurrency, Digraph Width Measures, Equational Logic
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-134211ISBN: 978-91-7501-933-8 (print)OAI: oai:DiVA.org:kth-134211DiVA: diva2:665450
Public defence
2013-12-12, F3, Lindtedtsvägen 26, KTH, Stockholm, 10:00 (English)
Opponent
Supervisors
Funder
EU, European Research Council, 269335 MBAT
Note

QC 20131120

Available from: 2013-11-20 Created: 2013-11-19 Last updated: 2013-11-20Bibliographically approved

Open Access in DiVA

Combinatorial Slice Theory(2299 kB)882 downloads
File information
File name FULLTEXT01.pdfFile size 2299 kBChecksum SHA-512
33a8f6364ee1351805191430e850e87abaa001d2ae3712f0bd2dab25c5c185ff77b88e273f82a75b775f2efb21b21a12b388d84aa744550ca48835c7c66a316d
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
de Oliveira Oliveira, Mateus
By organisation
Theoretical Computer Science, TCS
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 882 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 1248 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf