ABSTRACT
We propose a definition for computable functions on hereditarily definable sets. Such sets are possibly infinite data structures that can be defined using a fixed underlying logical structure, such as (N, =). We show that, under suitable assumptions on the underlying structure, a programming language called definable while programs captures exactly the computable functions. Next, we introduce a complexity class called fixed-dimension polynomial time, which intuitively speaking describes polynomial computation on hereditarily definable sets. We show that this complexity class contains all functions computed by definable while programs with suitably defined resource bounds. Proving the converse inclusion would prove that Choiceless Polynomial Time with Counting captures polynomial time on finite graphs.
- Andreas Blass and Yuri Gurevich. 2003. Abstract State Machines Capture Parallel Algorithms. ACM Trans. Comput. Logic 4, 4 (Oct. 2003), 578--651. Google ScholarDigital Library
- Andreas Blass, Yuri Gurevich, and Jan Van den Bussche. 2000. Abstract State Machines and Computationally Complete Query Languages. In Abstract State Machines - Theory and Applications, Yuri Gurevich, Philipp W. Kutter, Martin Odersky, and Lothar Thiele (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 22--33. Google ScholarDigital Library
- Andreas Blass, Yuri Gurevich, and Saharon Shelah. 1999. Choiceless polynomial time. Annals of Pure and Applied Logic 100, 1-3 (1999), 141--187.Google ScholarCross Ref
- Mikołaj Bojańczyk. 2011. Data Monoids. In 28th International Symposium on Theoretical Aspects of Computer Science, STACS2011, March 10-12, 2011, Dortmund, Germany. 105--116.Google Scholar
- Mikołaj Bojańczyk. 2017. Lecture Notes on Sets with Atoms. (2017). Available at https://www.mimuw.edu.pl/~bojan/.Google Scholar
- Mikołaj Bojańczyk, Laurent Braud, Bartek Klin, and Slawomir Lasota. 2012. Towards nominal computation. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. 401--412. Google ScholarDigital Library
- Mikołaj Bojańczyk, Bartek Klin, and Slawomir Lasota. 2011. Automata with Group Actions. In Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada. 355--364. Google ScholarDigital Library
- Mikołaj Bojańczyk and Szymon Torúczyk. 2012. Imperative Programming in Sets with Atoms. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India. 4--15.Google Scholar
- Rodney G. Downey and M. R. Fellows. 2012. Parameterized Complexity. Springer Publishing Company, Incorporated. Google ScholarDigital Library
- Andreas Glausch and Wolfgang Reisig. 2009. An ASM-Characterization of a Class of Distributed Algorithms. Springer Berlin Heidelberg, Berlin, Heidelberg, 50--64. Google ScholarDigital Library
- Erich Grädel and Martin Grohe. 2015. Is Polynomial Time Choiceless? Springer International Publishing, Cham, 193--209.Google Scholar
- Erich Grädel and Antje Nowack. 2003. Quantum Computing and Abstract State Machines. In Abstract State Machines 2003, Egon Börger, Angelo Gargantini, and Elvinia Riccobene (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 309--323. Google ScholarDigital Library
- Martin Grohe. 2008. The Quest for a Logic Capturing PTIME. In Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. 267--271. Google ScholarDigital Library
- Yuri Gurevich. 1995. Specification and Validation Methods. Oxford University Press, Inc., New York, NY, USA, Chapter Evolving Algebras 1993: Lipari Guide, 9--36. Google ScholarDigital Library
- Wiflrid Hodges. 1993. Model Theory. Cambridge University Press.Google Scholar
- Bartek Klin and Michal Szynwelski. 2016. SMT Solving for Functional Programming over Infinite Structures. In Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016. 57--75.Google ScholarCross Ref
- Eryk Kopczynski and Szymon Torúczyk. 2017. LOIS: syntax and semantics. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. 586--598. Google ScholarDigital Library
- Andrew M. Pitts. 2013. Nominal Sets: Names and Symmetry in Computer Science. Cambridge University Press, New York, NY, USA. Google ScholarCross Ref
- Benjamin Rossman. 2010. Choiceless Computation and Symmetry. Springer Berlin Heidelberg, Berlin, Heidelberg, 565--580. Google ScholarDigital Library
Recommendations
Fixed-Parameter Tractability and Completeness I: Basic Results
For many fixed-parameter problems that are trivially soluable in polynomial-time, such as ($k$-)DOMINATING SET, essentially no better algorithm is presently known than the one which tries all possible solutions. Other problems, such as ($k$-)...
Uniform weak tractability
We introduce a new notion of tractability which is called uniform weak tractability. A problem is uniformly weakly tractable if the information complexity n(@e,d) of its d-variate component to be solved to within @e is not exponential in any positive ...
Fixed-Parameter Tractability, Definability, and Model-Checking
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory.
We propose to consider parameterized model-checking problems for various fragments of first-order logic as ...
Comments