scholarly journals Optimal Bounds for the Change-Making Problem

1991 ◽  
Vol 20 (371) ◽  
Author(s):  
Dexter Kozen ◽  
Shmuel Zaks
Keyword(s):  
Greedy Algorithm ◽  
Related Problem ◽  
Complete Characterization ◽  
Fixed Number ◽  
Simple Test ◽  
Optimal Representation ◽  
Optimal Bounds ◽  
Np Complete ◽  
The Greedy Algorithm

<p>The change-making problem is the problem of representing a given value with the fewest coins possible. We investigate the problem of determining whether the greedy algorithm produces an optimal representation of all amounts for a given set of coin denominations 1 = c_1 &lt; c_2 &lt; ... &lt; c_m. Chang and Gill show that if the greedy algorithm is not always optimal, then there exists a counterexample x in the range</p><p>c_3 &lt;= x &lt; (c_m(c_m c_m-1 + c_m - 3c_m-1)) \ (c_m - c_m-1).</p><p>To test for the existence of such a counterexample, Chang and Gill propose computing and comparing the greedy and optimal representations of all x in this range. In this paper we show that if a counterexample exists, then the smallest one lies in the range c_3 + 1 &lt; x &lt; c_m + c_m-1, and these bounds are tight. Moreover, we give a simple test for the existence of a counterexample that does not require the calculation of optimal representations.</p><p>In addition, we give a complete characterization of three-coin systems and an efficient algorithm for all systems with a fixed number of coins. Finally, we show that a related problem is <em>co</em>NP-complete.</p>

scholarly journals Computing the Interleaving Distance is NP-Hard

2019 ◽  
Vol 20 (5) ◽  
pp. 1237-1271 ◽  
Author(s):  
Håvard Bakke Bjerkevik ◽  
Magnus Bakke Botnan ◽  
Michael Kerber
Keyword(s):  
Computational Complexity ◽  
Complete Characterization ◽  
Np Hard ◽  
Slight Improvement ◽  
Approximation Factor ◽  
Distance Computation ◽  
Persistence Modules ◽  
Np Complete ◽  
Interleaving Distance

Abstract We show that computing the interleaving distance between two multi-graded persistence modules is NP-hard. More precisely, we show that deciding whether two modules are 1-interleaved is NP-complete, already for bigraded, interval decomposable modules. Our proof is based on previous work showing that a constrained matrix invertibility problem can be reduced to the interleaving distance computation of a special type of persistence modules. We show that this matrix invertibility problem is NP-complete. We also give a slight improvement in the above reduction, showing that also the approximation of the interleaving distance is NP-hard for any approximation factor smaller than 3. Additionally, we obtain corresponding hardness results for the case that the modules are indecomposable, and in the setting of one-sided stability. Furthermore, we show that checking for injections (resp. surjections) between persistence modules is NP-hard. In conjunction with earlier results from computational algebra this gives a complete characterization of the computational complexity of one-sided stability. Lastly, we show that it is in general NP-hard to approximate distances induced by noise systems within a factor of 2.

ON UNIVERSALLY POLYNOMIAL CONTEXT-FREE LANGUAGES

2002 ◽  
Vol 13 (06) ◽  
pp. 829-835
Author(s):  
NICHOLAS TRAN
Keyword(s):  
Complete Characterization ◽  
Automatic Method ◽  
Intractable Problems ◽  
Np Complete ◽  
Open Question ◽  
Context Free

A language is universally polynomial if its intersection with every NP-complete language is in P. Such a language would provide an automatic method for generating easy instances of intractable problems. In this note, we give a complete characterization of universally polynomial languages that are context-free, answering an open question in [4].

scholarly journals On Independent Secondary Dominating Sets in Generalized Graph Products

Symmetry ◽  
2021 ◽  
Vol 13 (12) ◽  
pp. 2399
Author(s):  
Adrian Michalski ◽  
Paweł Bednarz
Keyword(s):  
Complete Characterization ◽  
Asymmetric Structure ◽  
Graph Products ◽  
Dominating Sets ◽  
Complete Problem ◽  
Join Of Graphs ◽  
Np Complete ◽  
Graph Parameters ◽  
Domination In Graphs

In 2008, Hedetniemi et al. introduced (1,k)-domination in graphs. The research on this concept was extended to the problem of existence of independent (1,k)-dominating sets, which is an NP-complete problem. In this paper, we consider independent (1,1)- and (1,2)-dominating sets, which we name as (1,1)-kernels and (1,2)-kernels, respectively. We obtain a complete characterization of generalized corona of graphs and G-join of graphs, which have such kernels. Moreover, we determine some graph parameters related to these sets, such as the number and the cardinality. In general, graph products considered in this paper have an asymmetric structure, contrary to other many well-known graph products (Cartesian, tensor, strong).

A Complete Characterization of the Path Layout Construction Problem for ATM Networks with Given Hop Count and Load

1998 ◽  
Vol 08 (02) ◽  
pp. 207-220 ◽  
Author(s):  
Tamar Eilam ◽  
Michele Flammini ◽  
Shmuel Zaks
Keyword(s):  
Time Complexity ◽  
High Speed ◽  
Complete Characterization ◽  
Atm Networks ◽  
Hop Count ◽  
Construction Problem ◽  
Stretch Factor ◽  
Virtual Paths ◽  
Np Complete

We investigate the time complexity of deciding the existence of layouts of virtual paths in high-speed networks, that enable a connection from one vertex to all others and have maximum hop count h and maximum edge load l, for a stretch factor of one. We prove that the problem of determining the existence of such layouts is NP-complete for every given values of h and l, except for the cases h = 2, l = 1 and h = 1, any l, for which we give polynomial-time layout constructions. Extensions for cases of a stretch factor greater than one are also discussed.

Implementasi Algoritma Dijkstra Pada Game Pacman

CCIT Journal ◽  
2019 ◽  
Vol 12 (2) ◽  
pp. 170-176
Author(s):  
Anggit Dwi Hartanto ◽  
Aji Surya Mandala ◽  
Dimas Rio P.L. ◽  
Sidiq Aminudin ◽  
Andika Yudirianto
Keyword(s):  
Artificial Intelligence ◽  
Greedy Algorithm ◽  
Dijkstra Algorithm ◽  
Testing Phase ◽  
A Value ◽  
Route Problem ◽  
Starting Point ◽  
The Greedy Algorithm

Pacman is one of the labyrinth-shaped games where this game has used artificial intelligence, artificial intelligence is composed of several algorithms that are inserted in the program and Implementation of the dijkstra algorithm as a method of solving problems that is a minimum route problem on ghost pacman, where ghost plays a role chase player. The dijkstra algorithm uses a principle similar to the greedy algorithm where it starts from the first point and the next point is connected to get to the destination, how to compare numbers starting from the starting point and then see the next node if connected then matches one path with the path). From the results of the testing phase, it was found that the dijkstra algorithm is quite good at solving the minimum route solution to pursue the player, namely by getting a value of 13 according to manual calculations

Experimental Characterization of Mechanical Behavior of Cord-Rubber Composites

1982 ◽  
Vol 10 (1) ◽  
pp. 37-54 ◽  
Author(s):  
M. Kumar ◽  
C. W. Bert
Keyword(s):  
Response Characteristic ◽  
Cord Compression ◽  
Complete Characterization ◽  
Strain Response ◽  
Strain Gages ◽  
Experimental Characterization ◽  
Rubber Composites ◽  
Stress Strain ◽  
Strain Data

Abstract Unidirectional cord-rubber specimens in the form of tensile coupons and sandwich beams were used. Using specimens with the cords oriented at 0°, 45°, and 90° to the loading direction and appropriate data reduction, we were able to obtain complete characterization for the in-plane stress-strain response of single-ply, unidirectional cord-rubber composites. All strains were measured by means of liquid mercury strain gages, for which the nonlinear strain response characteristic was obtained by calibration. Stress-strain data were obtained for the cases of both cord tension and cord compression. Materials investigated were aramid-rubber, polyester-rubber, and steel-rubber.

Characterization of CMOS Structures (0.6 µm process) Submitted to HBM and COM ESD Stress Tests

1997 ◽  
Author(s):  
G. Meneghesso ◽  
E. Zanoni ◽  
P. Colombo ◽  
M. Brambilla ◽  
R. Annunziata ◽  
...  
Keyword(s):  
Electron Microscopy ◽  
Electrostatic Discharge ◽  
Stress Test ◽  
Complete Characterization ◽  
Stress Tests ◽  
Test Procedures ◽  
Emission Microscopy ◽  
Fast Rise ◽  
Scanning Electron

Abstract In this work, we present new results concerning electrostatic discharge (ESD) robustness of 0.6 μm CMOS structures. Devices have been tested according to both HBM and socketed CDM (sCDM) ESD test procedures. Test structures have been submitted to a complete characterization consisting in: 1) measurement of the tum-on time of the protection structures submitted to pulses with very fast rise times; 2) ESD stress test with the HBM and sCDM models; 3) failure analysis based on emission microscopy (EMMI) and Scanning Electron Microscopy (SEM).

scholarly journals Complete characterization of spin chains with two Ising symmetries

2019 ◽  
Vol 125 (1) ◽  
pp. 10008 ◽  
Author(s):  
Bat-el Friedman ◽  
Atanu Rajak ◽  
Emanuele G. Dalla Torre
Keyword(s):  
Complete Characterization ◽  
Spin Chains

scholarly journals On the star forest polytope for trees and cycles

2019 ◽  
Vol 53 (5) ◽  
pp. 1763-1773
Author(s):  
Meziane Aider ◽  
Lamia Aoudia ◽  
Mourad Baïou ◽  
A. Ridha Mahjoub ◽  
Viet Hung Nguyen
Keyword(s):  
Undirected Graph ◽  
Dominating Set ◽  
Discrete Math ◽  
Complete Characterization ◽  
Facial Structure ◽  
Maximum Weight ◽  
Single Node ◽  
End Node ◽  
Vertex Disjoint

Let G = (V, E) be an undirected graph where the edges in E have non-negative weights. A star in G is either a single node of G or a subgraph of G where all the edges share one common end-node. A star forest is a collection of vertex-disjoint stars in G. The weight of a star forest is the sum of the weights of its edges. This paper deals with the problem of finding a Maximum Weight Spanning Star Forest (MWSFP) in G. This problem is NP-hard but can be solved in polynomial time when G is a cactus [Nguyen, Discrete Math. Algorithms App. 7 (2015) 1550018]. In this paper, we present a polyhedral investigation of the MWSFP. More precisely, we study the facial structure of the star forest polytope, denoted by SFP(G), which is the convex hull of the incidence vectors of the star forests of G. First, we prove several basic properties of SFP(G) and propose an integer programming formulation for MWSFP. Then, we give a class of facet-defining inequalities, called M-tree inequalities, for SFP(G). We show that for the case when G is a tree, the M-tree and the nonnegativity inequalities give a complete characterization of SFP(G). Finally, based on the description of the dominating set polytope on cycles given by Bouchakour et al. [Eur. J. Combin. 29 (2008) 652–661], we give a complete linear description of SFP(G) when G is a cycle.

Sign in / Sign up

Export Citation Format

Share Document