Výsledky vyhledávání - "68q25: analysis of algorithms AND problems complexity"
-
1
NP-hardness of deciding convexity of quartic polynomials and related problems
ISSN: 0025-5610, 1436-4646Vydáno: Berlin/Heidelberg Springer-Verlag 01.02.2013Vydáno v Mathematical programming (01.02.2013)“…We show that unless P = NP, there exists no polynomial time (or even pseudo-polynomial time) algorithm that can decide whether a multivariate polynomial of…”
Získat plný text
Journal Article -
2
(Re)packing Equal Disks into Rectangle
ISSN: 0179-5376, 1432-0444Vydáno: New York Springer US 01.12.2024Vydáno v Discrete & computational geometry (01.12.2024)“…The problem of packing of equal disks (or circles) into a rectangle is a fundamental geometric problem. (By a packing here we mean an arrangement of disks in a…”
Získat plný text
Journal Article -
3
Advances on strictly Δ-modular IPs: Advances on strictly Δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Delta $$\end{document}-modular IPs
ISSN: 0025-5610, 1436-4646Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.03.2025Vydáno v Mathematical programming (01.03.2025)“…There has been significant work recently on integer programs (IPs) min { c ⊤ x : A x ≤ b , x ∈ Z n } with a constraint marix A with bounded subdeterminants…”
Získat plný text
Journal Article -
4
A linear time algorithm for linearizing quadratic and higher-order shortest path problems: A linear time algorithm for linearizing quadratic
ISSN: 0025-5610, 1436-4646Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.03.2025Vydáno v Mathematical programming (01.03.2025)“…An instance of the NP-hard Quadratic Shortest Path Problem (QSPP) is called linearizable iff it is equivalent to an instance of the classic Shortest Path…”
Získat plný text
Journal Article -
5
A finite time combinatorial algorithm for instantaneous dynamic equilibrium flows
ISSN: 0025-5610, 1436-4646Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2023Vydáno v Mathematical programming (01.02.2023)“…Instantaneous dynamic equilibrium (IDE) is a standard game-theoretic concept in dynamic traffic assignment in which individual flow particles myopically select…”
Získat plný text
Journal Article -
6
On the optimality of pseudo-polynomial algorithms for integer programming
ISSN: 0025-5610, 1436-4646Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.03.2023Vydáno v Mathematical programming (01.03.2023)“…In the classic Integer Programming Feasibility (IPF) problem, the objective is to decide whether, for a given m × n matrix A and an m -vector b = ( b 1 , ⋯ , b…”
Získat plný text
Journal Article -
7
Linear programming using limited-precision oracles
ISSN: 0025-5610, 1436-4646Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.09.2020Vydáno v Mathematical programming (01.09.2020)“…Since the elimination algorithm of Fourier and Motzkin, many different methods have been developed for solving linear programs. When analyzing the time…”
Získat plný text
Journal Article -
8
An Axiomatic Approach to Time-Dependent Shortest Path Oracles
ISSN: 0178-4617, 1432-0541Vydáno: New York Springer US 01.03.2022Vydáno v Algorithmica (01.03.2022)“…Computing shortest paths in networks that exhibit a time-dependent metric is a core routine for many applications, with route planning in road networks being a…”
Získat plný text
Journal Article -
9
Graph Isomorphism, Color Refinement, and Compactness
ISSN: 1016-3328, 1420-8954Vydáno: Cham Springer International Publishing 01.09.2017Vydáno v Computational complexity (01.09.2017)“…Color refinement is a classical technique used to show that two given graphs G and H are non-isomorphic; it is very efficient, although it does not succeed on…”
Získat plný text
Journal Article -
10
Coordination of a two-level supply chain with contracts
ISSN: 1619-4500, 1614-2411Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2021Vydáno v 4OR (01.06.2021)“…We consider the coordination of planning decisions of a single product in a supply chain composed of one supplier and one retailer, by using contracts. We…”
Získat plný text
Journal Article -
11
Approximability of average completion time scheduling on unrelated machines
ISSN: 0025-5610, 1436-4646Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.01.2017Vydáno v Mathematical programming (01.01.2017)“…We show that minimizing the average job completion time on unrelated machines is APX -hard if preemption of jobs is allowed. This provides one of the last…”
Získat plný text
Journal Article -
12
An efficient polynomial time approximation scheme for load balancing on uniformly related machines
ISSN: 0025-5610, 1436-4646Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2014Vydáno v Mathematical programming (01.10.2014)“…We consider basic problems of non-preemptive scheduling on uniformly related machines. For a given schedule, defined by a partition of the jobs into m subsets…”
Získat plný text
Journal Article -
13
The expected bit complexity of the von Neumann rejection algorithm
ISSN: 0960-3174, 1573-1375Vydáno: New York Springer US 01.05.2017Vydáno v Statistics and computing (01.05.2017)“…In 1952, von Neumann introduced the rejection method for random variate generation. We revisit this algorithm when we have a source of perfect bits at our…”
Získat plný text
Journal Article -
14
The most nonelementary theory
ISSN: 0890-5401, 1090-2651Vydáno: San Diego, CA Elsevier Inc 01.05.2004Vydáno v Information and computation (01.05.2004)“…We give a direct proof by generic reduction that testing validity of formulas in a decidable rudimentary theory Ω of finite typed sets (Henkin, Fundamenta…”
Získat plný text
Journal Article