Search Results - Singly-exponential time algorithm

Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm

Authors: Comin, Carlo Rizzi, Romeo Gambette, Philippe

Contributors: Comin, Carlo Rizzi, Romeo Gambette, Philippe

Source: Information and Computation. 259:348-374

Subject Terms: FOS: Computer and information sciences, Conditional Temporal Networks, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], 0102 computer and information sciences, 02 engineering and technology, Hyper Temporal Networks, Computational Complexity (cs.CC), Mean Payoff Games, Simple Temporal Networks, 01 natural sciences, Computer Science - Computational Complexity, Dynamic Consistency, Reaction Time, Conditional temporal networks, Dynamic consistency, Mean payoff games, Simple temporal networks, Hyper temporal networks, Singly-exponential time, Reaction time, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Singly-Exponential Time

File Description: application/pdf

Access URL: https://hal-upec-upem.archives-ouvertes.fr/hal-01719175/file/conditional-temporal-networks16.pdf
http://arxiv.org/abs/1602.06260
https://iris.univr.it/handle/11562/988557
https://doi.org/10.1016/j.ic.2017.08.008
https://dblp.uni-trier.de/db/journals/corr/corr1602.html#CominR16
https://www.sciencedirect.com/science/article/pii/S0890540117301499
http://ui.adsabs.harvard.edu/abs/2016arXiv160206260C/abstract
https://hal-enpc.archives-ouvertes.fr/hal-01719175v1

Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking

Authors: Comin, C. RIZZI, ROMEO

Source: 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME). :19-28

Subject Terms: FOS: Computer and information sciences, Algorithms, Dynamic consistencies, Exponential time, Mean payoff games, Simple temporal networks, Temporal networks, Model checking, Conditional Simple Temporal Networks, Dynamic Consistency, Hyper Temporal Networks, Mean Payoff Games, Reaction Time Analysis, Singly-Exponential Time, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Artificial Intelligence (cs.AI), Computer Science - Computer Science and Game Theory, Computer Science - Data Structures and Algorithms, 8. Economic growth, 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), Computer Science and Game Theory (cs.GT)

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1505.00828
http://arxiv.org/abs/1505.00828
https://iris.univr.it/handle/11562/954976
https://ui.adsabs.harvard.edu/abs/2015arXiv150500828C/abstract
https://ieeexplore.ieee.org/abstract/document/7371921
https://dblp.uni-trier.de/db/journals/corr/corr1505.html#CominR15a
https://hdl.handle.net/11562/954976
https://doi.org/10.1109/TIME.2015.18
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84978033437&partnerID=40&md5=776db59398ea45bb430914f40cd37e99

Checking Dynamic Consistency of Conditional Hyper Temporal Networks via Mean Payoff Games (Hardness and (pseudo) Singly-Exponential Time Algorithm)

Authors: Comin, Carlo Rizzi, Romeo

Index Terms: Computer Science - Computational Complexity, text

URL: http://arxiv.org/abs/1602.06260

A Singly-Exponential Time Algorithm for Computing Nonnegative Rank

Authors: Moitra, Ankur

Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS), 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Information Retrieval (cs.IR), Computer Science - Information Retrieval, Machine Learning (cs.LG)

Access URL: http://arxiv.org/abs/1205.0044

Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks

Authors: Cairo, Massimo Comin, Carlo Rizzi, Romeo et al.

Contributors: Cairo, Massimo Comin, Carlo Rizzi, Romeo et al.

Source: TIME 2016 23rd International Symposium on Temporal Representation and Reasoning ; https://hal.science/hal-01577460 ; TIME 2016 23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Kongens Lyngby, Denmark. pp.80-89, ⟨10.1109/TIME.2016.16⟩

Subject Terms: singly-exponential time, hyper temporal networks, instantaneous reaction time, dynamic consistency, conditional simple temporal networks, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Subject Geographic: Kongens Lyngby, Denmark

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1608.04132; ARXIV: 1608.04132

Availability: https://hal.science/hal-01577460
https://hal.science/hal-01577460v1/document
https://hal.science/hal-01577460v1/file/conditional-temporal-networks-instantaneous-reaction.pdf
https://doi.org/10.1109/TIME.2016.16

Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: a Singly-Exponential Time DC-Checking

Authors: Comin, Carlo Rizzi, Romeo

Index Terms: Computer Science - Data Structures and Algorithms, Computer Science - Artificial Intelligence, Computer Science - Computer Science and Game Theory, text

URL: http://arxiv.org/abs/1505.00828

Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks

Authors: Massimo Cairo Carlo Comin Romeo Rizzi et al.

Contributors: Massimo Cairo Carlo Comin Romeo Rizzi et al.

Source: Journal of Logical and Algebraic Methods in Programming. 113:100542

Subject Terms: Instantaneous reaction-time, is an element of-dynamic-consistency, Conditional simple temporal networks, hyper temporal networks, 0211 other engineering and technologies, Hyper temporal networks, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, dynamic consistency, Singly-Exponential Time, Conditional Simple Temporal Networks, Dynamic-Consistency, Instantaneous Reaction-Time, Hyper Temporal Networks, Singly-exponential time algorithm, Dynamic-consistency, instantaneous reaction time, singly-exponential time, conditional simple temporal networks

File Description: application/pdf

Access URL: https://hal-upec-upem.archives-ouvertes.fr/hal-01577460/file/conditional-temporal-networks-instantaneous-reaction.pdf
http://arxiv.org/pdf/1608.04132
https://dblp.uni-trier.de/db/journals/jlap/jlap113.html#CairoCR20
https://www.sciencedirect.com/science/article/pii/S2352220820300274
https://arxiv.org/abs/1608.04132
https://dblp.uni-trier.de/db/journals/corr/corr1608.html#CairoCR16
http://dblp.uni-trier.de/db/journals/corr/corr1608.html#CairoCR16
https://iris.univr.it/handle/11562/969912
https://arxiv.org/pdf/1608.04132
https://hdl.handle.net/11562/969912
https://doi.org/10.1109/TIME.2016.16
https://hal.science/hal-01577460v1
https://doi.org/10.1109/time.2016.16
https://hal.science/hal-01577460v1/document

Upward Book Embeddability of st-Graphs: Complexity and Algorithms.

Authors: Binucci, Carla Da Lozzo, Giordano Di Giacomo, Emilio et al.

Source: Algorithmica; Dec2023, Vol. 85 Issue 12, p3521-3571, 51p

Subject Terms: DIRECTED acyclic graphs, GRAPH theory, DIRECTED graphs, ALGORITHMS, NP-complete problems

A Simpler Linear Time Algorithm for Embedding Graphs into an Arbitrary Surface and the Genus of Graphs of Bounded Tree-Width

Authors: Bruce Reed Ken-ichi Kawarabayashi Bojan Mohar

Source: 2008 49th Annual IEEE Symposium on Foundations of Computer Science. :771-780

Subject Terms: 0102 computer and information sciences, 01 natural sciences

A Polynomial-Time Algorithm to Compute Turaev–Viro Invariants TV4,q of 3-Manifolds with Bounded First Betti Number.

Authors: Maria, Clément Spreer, Jonathan

Source: Foundations of Computational Mathematics; Oct2020, Vol. 20 Issue 5, p1013-1034, 22p

Subject Terms: ALGORITHMS, BETTI numbers, TOPOLOGY, MANIFOLDS (Mathematics), TRIANGULATION, MATHEMATICAL connectedness

Operator Scaling: Theory and Applications.

Authors: Garg, Ankit Gurvits, Leonid Oliveira, Rafael et al.

Source: Foundations of Computational Mathematics; Apr2020, Vol. 20 Issue 2, p223-290, 68p

Subject Terms: OPERATOR theory, SYSTEMS theory, POLYNOMIAL time algorithms, LINEAR algebra, QUANTUM information theory, DIVISION rings

Structural Parameterizations of Undirected Feedback Vertex Set: FPT Algorithms and Kernelization.

Authors: Majumdar, Diptapriyo Raman, Venkatesh

Source: Algorithmica; Sep2018, Vol. 80 Issue 9, p2683-2724, 42p

Subject Terms: PARAMETERIZATION, GEOMETRIC vertices, ALGORITHMS, KERNEL (Mathematics), GRAPH theory

On Isomorphism Testing of Groups with Normal Hall Subgroups.

Authors: Qiao, You-Ming M.N., Jayalal Tang, Bang-Sheng

Source: Journal of Computer Science & Technology (10009000); Jul2012, Vol. 27 Issue 4, p687-701, 15p

Subject Terms: ISOMORPHISM (Mathematics), SUBGROUP growth, SET theory, GROUP theory, ALGORITHMS, ALGEBRA

APPROXIMATION ALGORITHMS FOR EULER GENUS AND RELATED PROBLEMS.

Authors: CHEKURI, CHANDRA SIDIROPOULOS, ANASTASIOS

Source: SIAM Journal on Computing; 2018, Vol. 47 Issue 4, p1610-1643, 34p

Subject Terms: MATHEMATICAL analysis, GRAPHIC methods, ALGORITHMS, NUMERICAL analysis, MATHEMATICAL models

Computing the Top Betti Numbers of Semialgebraic Sets Defined by Quadratic Inequalities in Polynomial Time.

Authors: Basu, Saugata

Source: Foundations of Computational Mathematics; Feb2008, Vol. 8 Issue 1, p45-80, 36p, 10 Diagrams

Subject Terms: ALGORITHMS, SEMIALGEBRAIC sets, ALGEBRAIC geometry, POLYNOMIALS, MATHEMATICAL invariants

Efficient Algorithms for the Consensus Decision Problem

Authors: Chevalier, Pierre-Yves Hendrickx, Julien M. Jungers, Raphaël M.

Index Terms: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Multiagent Systems, Mathematics - Optimization and Control, text

URL: http://arxiv.org/abs/1409.6505

ALGORITHMS FOR GROUP ISOMORPHISM VIA GROUP EXTENSIONS AND COHOMOLOGY.

Authors: GROCHOW, JOSHUA A. YOUMING QIAO

Source: SIAM Journal on Computing; 2017, Vol. 46 Issue 4, p1153-1216, 64p

Subject Terms: ALGORITHMS, ISOMORPHISM (Mathematics), COHOMOLOGY theory

A Survey of Parallel and Distributed Algorithms for the Steiner Tree Problem.

Authors: Bezenšek, Mitja Robič, Borut

Source: International Journal of Parallel Programming; Apr2014, Vol. 42 Issue 2, p287-319, 33p

Subject Terms: COMBINATORIAL optimization, DISTRIBUTED algorithms, HEURISTIC algorithms, ROUTING (Computer network management), COMPUTATIONAL biology

AN ALMOST OPTIMAL ALGORITHM FOR COMPUTING NONNEGATIVE RANK.

Authors: MOITRA, ANKUR¹ moitra@mit.edu

Source: SIAM Journal on Computing. 2016, Vol. 45 Issue 1, p156-173. 18p.

Subject Terms: *ALGORITHMS, DIMENSION theory (Topology), EXPONENTS, POLYNOMIALS, MATHEMATICAL inequalities, MATHEMATICAL variables

A polynomial-time algorithm for deciding equivalence of normed context-free processes.

Authors: Hirshfeld, Y. Jerrum, M. Moller, F.

Source: Proceedings 35th Annual Symposium on Foundations of Computer Science; 1994, p623-631, 9p