scholarly journals Complexity of Scheduling in High Level Synthesis

VLSI Design ◽  
1998 ◽  
Vol 7 (4) ◽  
pp. 337-346 ◽  
Author(s):  
C. A. Mandal ◽  
P. P. Chakrabarti ◽  
S. Ghose
Keyword(s):  
Binary Tree ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
High Level Synthesis ◽  
Time Schedule ◽  
Schedule Length ◽  
Np Complete ◽  
Resource Constrained Scheduling Problem ◽  
High Level ◽  
Rooted Binary Tree

This work examines the complexity of scheduling for high level synthesis. It has been shown that the problem of finding the minimum time schedule for a set of chains of operations of two types using two processors, one of each type, is NP-complete. However, for two chains only, a polynomial time algorithm can been obtained for scheduling with two processors. The problem of scheduling a rooted binary tree of two operation types on two processors, one of each type, has been shown to be NP-complete. It has also been proved that absolute approximations for schedule length minimization or processor minimization are NP-complete. A related resource constrained scheduling problem has also been shown to be NP-hard.

k-Efficient domination: Algorithmic perspective

2022 ◽  
Author(s):  
Mohsen Alambardar Meybodi
Keyword(s):  
Decision Problem ◽  
Dominating Set ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Chordal Graphs ◽  
Sparse Graphs ◽  
Fpt Algorithm ◽  
Domination Problem ◽  
Efficient Dominating Set ◽  
Np Complete

A set [Formula: see text] of a graph [Formula: see text] is called an efficient dominating set of [Formula: see text] if every vertex [Formula: see text] has exactly one neighbor in [Formula: see text], in other words, the vertex set [Formula: see text] is partitioned to some circles with radius one such that the vertices in [Formula: see text] are the centers of partitions. A generalization of this concept, introduced by Chellali et al. [k-Efficient partitions of graphs, Commun. Comb. Optim. 4 (2019) 109–122], is called [Formula: see text]-efficient dominating set that briefly partitions the vertices of graph with different radiuses. It leads to a partition set [Formula: see text] such that each [Formula: see text] consists a center vertex [Formula: see text] and all the vertices in distance [Formula: see text], where [Formula: see text]. In other words, there exist the dominators with various dominating powers. The problem of finding minimum set [Formula: see text] is called the minimum [Formula: see text]-efficient domination problem. Given a positive integer [Formula: see text] and a graph [Formula: see text], the [Formula: see text]-efficient Domination Decision problem is to decide whether [Formula: see text] has a [Formula: see text]-efficient dominating set of cardinality at most [Formula: see text]. The [Formula: see text]-efficient Domination Decision problem is known to be NP-complete even for bipartite graphs [M. Chellali, T. W. Haynes and S. Hedetniemi, k-Efficient partitions of graphs, Commun. Comb. Optim. 4 (2019) 109–122]. Clearly, every graph has a [Formula: see text]-efficient dominating set but it is not correct for efficient dominating set. In this paper, we study the following: [Formula: see text]-efficient domination problem set is NP-complete even in chordal graphs. A polynomial-time algorithm for [Formula: see text]-efficient domination in trees. [Formula: see text]-efficient domination on sparse graphs from the parametrized complexity perspective. In particular, we show that it is [Formula: see text]-hard on d-degenerate graphs while the original dominating set has Fixed Parameter Tractable (FPT) algorithm on d-degenerate graphs. [Formula: see text]-efficient domination on nowhere-dense graphs is FPT.

scholarly journals The Complexity of Constructing Gerechte Designs

10.37236/104 ◽  
2009 ◽  
Vol 16 (1) ◽  
Author(s):  
E. R. Vaughan
Keyword(s):  
Polynomial Time ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Latin Squares ◽  
Np Complete

Gerechte designs are a specialisation of latin squares. A gerechte design is an $n\times n$ array containing the symbols $\{1,\dots,n\}$, together with a partition of the cells of the array into $n$ regions of $n$ cells each. The entries in the cells are required to be such that each row, column and region contains each symbol exactly once. We show that the problem of deciding if a gerechte design exists for a given partition of the cells is NP-complete. It follows that there is no polynomial time algorithm for finding gerechte designs with specified partitions unless P=NP.

scholarly journals Polynomial time solution to NP-complete problem Hamiltonian cycle (P=NP Proof)

2021 ◽  
Author(s):  
Yasaman KalantarMotamedi
Keyword(s):  
Computer Science ◽  
Polynomial Time ◽  
Hamiltonian Cycle ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Rigorous Proof ◽  
Complete Problem ◽  
Time Solution ◽  
Np Complete

P vs NP is one of the open and most important mathematics/computer science questions that has not been answered since it was raised in 1971 despite its importance and a quest for a solution since 2000. P vs NP is a class of problems that no polynomial time algorithm exists for any. If any of the problems in the class gets solved in polynomial time, all can be solved as the problems are translatable to each other. One of the famous problems of this kind is Hamiltonian cycle. Here we propose a polynomial time algorithm with rigorous proof that it always finds a solution if there exists one. It is expected that this solution would address all problems in the class and have a major impact in diverse fields including computer science, engineering, biology, and cryptography.

scholarly journals Complexity of Strong Approximation on the Sphere

2019 ◽  
Author(s):  
Naser T Sardari
Keyword(s):  
Polynomial Time ◽  
Strong Approximation ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
The Other ◽  
Ramanujan Graphs ◽  
Other Hand ◽  
Np Complete

Abstract By assuming some widely believed arithmetic conjectures, we show that the task of accepting a number that is representable as a sum of $d\geq 2$ squares subjected to given congruence conditions is NP-complete. On the other hand, we develop and implement a deterministic polynomial-time algorithm that represents a number as a sum of four squares with some restricted congruence conditions, by assuming a polynomial-time algorithm for factoring integers and Conjecture 1.1. As an application, we develop and implement a deterministic polynomial-time algorithm for navigating Lubotzky, Phillips, Sarnak (LPS) Ramanujan graphs, under the same assumptions.

NEAREST NEIGHBOR PROBLEMS

1992 ◽  
Vol 02 (04) ◽  
pp. 383-416 ◽  
Author(s):  
GORDON WILFONG
Keyword(s):  
Nearest Neighbor ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Minimum Size ◽  
Minimum Cardinality ◽  
Nearest Neighbor Rule ◽  
Np Complete ◽  
Cover Problem ◽  
Consistent Subset ◽  
Special Case

Suppose E is a set of labeled points (examples) in some metric space. A subset C of E is said to be a consistent subset ofE if it has the property that for any example e∈E, the label of the closest example in C to e is the same as the label of e. We consider the problem of computing a minimum cardinality consistent subset. Consistent subsets have applications in pattern classification schemes that are based on the nearest neighbor rule. The idea is to replace the training set of examples with as small a consistent subset as possible so as to improve the efficiency of the system while not significantly affecting its accuracy. The problem of finding a minimum size consistent subset of a set of examples is shown to be NP-complete. A special case is described and is shown to be equivalent to an optimal disc cover problem. A polynomial time algorithm for this optimal disc cover problem is then given.

Loading Deep Networks Is Hard

1994 ◽  
Vol 6 (5) ◽  
pp. 842-850 ◽  
Author(s):  
Jiří Šíma
Keyword(s):  
Architectural Design ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Point Of View ◽  
Network Architectures ◽  
Deep Networks ◽  
General Network ◽  
Loading Problem ◽  
Np Complete ◽  
Connectionist Learning

The loading problem formulated by J. S. Judd seems to be a relevant model for supervised connectionist learning of the feedforward networks from the complexity point of view. It is known that loading general network architectures is NP-complete (intractable) when the (training) tasks are also general. Many strong restrictions on architectural design and/or on the tasks do not help to avoid the intractability of loading. Judd concentrated on the width expanding architectures with constant depth and found a polynomial time algorithm for loading restricted shallow architectures. He suppressed the effect of depth on loading complexity and left as an open prototypical computational problem the loading of easy regular triangular architectures that might capture the crux of depth difficulties. We have proven this problem to be NP-complete. This result does not give much hope for the existence of an efficient algorithm for loading deep networks.

COMPUTATIONAL COMPLEXITY OF THE PERFECT MATCHING PROBLEM IN HYPERGRAPHS WITH SUBCRITICAL DENSITY

2010 ◽  
Vol 21 (06) ◽  
pp. 905-924 ◽  
Author(s):  
MAREK KARPIŃSKI ◽  
ANDRZEJ RUCIŃSKI ◽  
EDYTA SZYMAŃSKA
Keyword(s):  
Computational Complexity ◽  
Polynomial Time ◽  
Perfect Matching ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Existence Problem ◽  
Matching Problem ◽  
Uniform Hypergraphs ◽  
The Status ◽  
Np Complete

In this paper we consider the computational complexity of deciding the existence of a perfect matching in certain classes of dense k-uniform hypergraphs. It has been known that the perfect matching problem for the classes of hypergraphs H with minimum ((k - 1)–wise) vertex degreeδ(H) at least c|V(H)| is NP-complete for [Formula: see text] and trivial for c ≥ ½, leaving the status of the problem with c in the interval [Formula: see text] widely open. In this paper we show, somehow surprisingly, that ½ is not the threshold for tractability of the perfect matching problem, and prove the existence of an ε > 0 such that the perfect matching problem for the class of hypergraphs H with δ(H) ≥ (½ - ε)|V(H)| is solvable in polynomial time. This seems to be the first polynomial time algorithm for the perfect matching problem on hypergraphs for which the existence problem is nontrivial. In addition, we consider parallel complexity of the problem, which could be also of independent interest.

Sign in / Sign up

Export Citation Format

Share Document