A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Some provably hard crossing number problems
1991
Discrete & Computational Geometry
Preserved Fulltext
We also study the problem of drawing a graph with polygonal edges, to achieve the (unrestricted) minimum number of crossings. ...
This paper presents a connection between the problem of drawing a graph with the minimum number of edge crossings, and the theory of arrangements of pseudolines, a topic well-studied by combinatorialists ...
Some Provably Hard Crossing Number Problems 445
Theorem 1 . 1 Let A be an arrangement of n pseudolines. ...
doi:10.1007/bf02574701
fatcat:3ukl4aksejhglpgyip4yguknyy
Optimal Register Allocation in Polynomial Time
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
a bound on the number of goto labels per function. ...
An implementation is already the default register allocator in most backends of a mainstream cross-compiler for embedded systems. ...
However, even a substantially simplified version of the register allocation problem is W[SAT]-and co-W[SAT]-hard when parametrized by the number of registers even for tw(G) = 2 [26] . ...
doi:10.1007/978-3-642-37051-9_1
fatcat:56uuf76ys5dqtoepojz7lo4rxa
Page 4744 of Mathematical Reviews Vol. , Issue 92i
[page]
1992
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Martin Skoviera (CS-KMSK-TC)
92i:05081 05C10 05C85 Bienstock, Daniel (1-CLMB-I) Some provably hard crossing number problems. Discrete Comput. Geom. 6 (1991), no. 5, 443-459. ...
graph the rectilinear crossing number equals the crossing number is also NP-hard. ...
A Mathematical Programming Approach to Marker-Assisted Gene Pyramiding
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The task is to schedule crossings of individuals such that the number of generations, the number of crossings, and the required populations size are minimized. ...
We present for the first time a mathematical model for the general problem variant and show that the problem is N P-hard and even hard to approximate. ...
The NP-hardness proof involves only the number of crossings; as for the number of generations, the same reduction can be applied. The hardness with respect to the population size remains open. ...
doi:10.1007/978-3-642-23038-7_3
fatcat:fpqoprhhqbepnne3qx2qqmpaoe
An Efficient Lattice-Based Signature Scheme with Provably Secure Instantiation
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
To this end, we provide a tight security reduction for the new scheme from the ring learning with errors problem which allows for provably secure and efficient instantiations. ...
Both come with a security reduction from a lattice problem and have high performance. ...
computationally hard problem. ...
doi:10.1007/978-3-319-31517-1_3
fatcat:olcpz626wbglvhqaamk2ix7ngu
BBK* (Branch and Bound Over K*): A Provable and Efficient Ensemble-Based Protein Design Algorithm to Optimize Stability and Binding Affinity Over Large Sequence Spaces
2018
Journal of Computational Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Ka for a combinatorial number of sequences, and avoids SS computation for all provably suboptimal sequences. ...
Thus, to our knowledge, BBK* is the first provable, ensemble-based CPD algorithm to run in time sublinear in the number of sequences. ...
Mark Hallen and Pablo Gainza for helpful discussions and for providing useful protein-ligand binding problems; Dr. Jeffrey Martin for assisting with software optimizations; Jack Holland, Dr. ...
doi:10.1089/cmb.2017.0267
pmid:29641249
pmcid:PMC6074059
fatcat:zqjph6einnb37lwuppotdeg6ba
Efficient and provably secure key agreement
[chapter]
1996
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We propose a variant of the Diffie-Hellman key agreement protocol which is provably secure and efficient. ...
In particular, we consider two models for provable security, one based on probabilistic encryption, the other on zero-knowledge. ...
J. respectively ). * It is not clear if this problem is as hard as the Discrete Logarithm problem, but it is generally regarded as a hard problem. ** In can be shown that if the MTI protocol was zero-knowledge ...
doi:10.1007/978-1-5041-2919-0_20
fatcat:l65bm7cjtzhh3ompt67hf4vv24
Crossing numbers of graphs, lower bound techniques and algorithms: A survey
[chapter]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We give a survey of recent techniques for deriving lower bounds and algorithms for constructing upper bounds for several variations of the crossing number problem. ...
In particular, the only existing algorithm for computing provably near-optimal solutions to the planar crossing number problem has been provided by the VLSI community [7] . ...
There have not been too many results dealing with the crossing number problem on a surface, perhaps due to the difficulty of the problem which had made the existing tools inadequate. ...
doi:10.1007/3-540-58950-3_364
fatcat:tv2kip32lfartiaifhul6vlwui
A branch-and-cut approach to the crossing number problem
2008
Discrete Optimization
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Finding the crossing number is NP-hard for general graphs and no practical algorithm for its computation has been published so far. ...
We present an integer linear programming formulation that is based on a reduction of the general problem to a restricted version of the crossing number problem in which each edge may be crossed at most ...
They show that The general crossing minimization problem is NP-hard [18] . ...
doi:10.1016/j.disopt.2007.05.006
fatcat:t2nfcncwxfgtvlscfaktr2ocme
Finding the capacity of a quantized binary-input DMC
2012
2012 IEEE International Symposium on Information Theory Proceedings
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
problems! ...
VLSI implementation: numbers are converted to bits -quantization Power consumption, cost, etc. of receivers increases with the number of bits Broad goal: Reduce the number of bits without sacrificing ...
Conclusion Channel quantization is important for reducing complexity of receivers Maximization of mutual information is a highly suitable metric These concave optimization problems are NP-Hard Easier ...
doi:10.1109/isit.2012.6284302
dblp:conf/isit/KurkoskiY12
fatcat:iuyzfupkqngexme6cvo7tg4nxi
Parameterized Algorithms and Data Reduction for Safe Convoy Routing
2018
Algorithmic Approaches for Transportation Modeling, Optimization, and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In contrast, we show that the problem in general graphs is hard to preprocess. ...
We study the problem in two types of transportation networks: graphs with small crossing number, as formed by road networks, and tree-like graphs, as formed by waterways. ...
In contrast, we observed SSP to be a problem for which provably effective polynomialtime data reduction is rather hard to obtain (Theorems 2.14 and 3.10). ...
doi:10.4230/oasics.atmos.2018.10
dblp:conf/atmos/BevernFT18
fatcat:zyneram6v5h6jkujxn277vufhy
Counting Objects with a Combination of Horizontal and Overhead Sensors
2009
The international journal of robotics research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We describe several results furthering the understanding of this problem: 1) A hardness result showing that computing a tight lower bound is intractable, 2) A greedy algorithm for maximizing the number ...
Counting the number of distinct objects within a region is a basic problem in the field of surveillance, with a wide array of possible uses. ...
[15] , it is possible to offer some better bounds for this case: • The Lower Bound remains the number of provably occupied polygons. ...
doi:10.1177/0278364909352256
fatcat:o66utc7xcrathosxgl5qrttvzq
An Experimental Study of Crossing Minimization Heuristics
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present an extensive experimental study of heuristics for crossing minimization. ...
The heuristics are based on the planarization approach, so far the most successful framework for crossing minimization. ...
We do know, however, that the crossing number problem and several of its variants are NP-hard [13, 3] . ...
doi:10.1007/978-3-540-24595-7_2
fatcat:b4vftqnq3bgj3e3us2mbg2fbue
The Constrained Crossing Minimization Problem
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
number of crossings between the walks. ...
This is the first time that practical instances of the constrained crossing minimization problem can be solved to provable optimality. ...
Unfortunately, the problem of minimizing the number of crossings in a drawing is NP-hard ( [2] ) and so far no practically efficient algorithm exists, even for small nontrivial graphs. ...
doi:10.1007/3-540-46648-7_18
fatcat:buqfpiuwozfw7ehzfwewu7jogi
Another Look at "Provable Security". II
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
We give some examples to show the subtlety and difficulty of this question. ...
Acknowledgments We would like to thank Andrey Sidorenko for his valuable comments on pseudorandom bit generators and Bart Preneel for answering our queries about the provable security of MAC algorithms ...
numbers) that is widely believed to be very hard. ...
doi:10.1007/11941378_12
fatcat:fatlcjwmj5gdthxhx7pylbn3li
« Previous
Showing results 1 — 15 out of 11,707 results