5672527
Complementary cycles containing a fixed arc in diregular bipartite tournaments
Abstract Let ( x , y ) be a specified arc in a k -regular bipartite tournament B . We prove that there exists a cycle C of length four through ( x , y ) in B such that B − C is hamiltonian.
14716028
New Upper Bounds for Ramsey Numbers
The Ramsey numberR(G1,G2) is the smallest integerpsuch that for any graphGonpvertices eitherGcontainsG1orGcontainsG2, whereGdenotes the complement ofG. LetR(m,n)=R(Km,Kn). Some new upper bound formulas are obtained forR(G1,G2andR(m,n), and we derive some new upper bounds for Ramsey numbers here.
13354529
Edge-pancyclicity of coupled graphs
The coupled graph c(G) of a plane graph G is the graph defined on the vertex set V(G)∪F(G) so that two vertices in c(G) are joined by an edge if and only if they are adjacent or incident in G. We prove that the coupled graph of a 2-connected plane graph is edge-pancyclic. However, there exists a 2-edge-connected plane graph G such that c(G) is not Hamiltonian.
29686713
A note on Ramsey numbers with two parameters
The Ramsey number R(G1, G2) is the smallest integer p such that for any graph G on p vertices either G contains G1 or G- contains G2, where G- denotes the complement of G. In this paper, some new bounds with two parameters for the Ramsey number R(G1, G2), under some assumptions, are obtained. Especially, we prove that R(K6 - e, K6) ≤ 116 and R(K6 - e, K7) ≤ 202, these improve the two upper bounds for the classical Ramsey number in [S.P. Radziszowski, Small Ramsey number, Electron. J. Combin. DSI (2002) 1-36].
30370540
On (d, 2)-dominating numbers of binary undirected de Bruijn graphs
Abstract In this paper, we show that: (i) For n-dimensional undirected binary de Bruijn graphs, UB(n), n⩾4, there is a vertex x=x 1 x 1 x 1 ⋯ x 1 x 1 (x1=1 or 0) such that for any other vertex t there exist at least two internally disjoint paths of length at most n−1 between x and t in UB(n), i.e., the (n−1,2)-dominating number of UB(n) is equal to one. (ii) For n⩾5, let S={100⋯01,011⋯10}. For any other vertex t there exist at least two internally disjoint paths of length at most n−2 between t and S in UB(n), i.e., the (n−2,2)-dominating number of UB(n) is no more than 2.
6176366
The Ramsey numbers of stars versus wheels
For two given graphs G 1 and G 2 , the Ramsey number R(G 1 , G 2 ) is the smallest positive integer n such that for any graph G of order n, either G contains G 1 or the complement of G contains G 2 . Let S n denote a star of order n and W m a wheel of order m + 1. This paper shows that R(S n , W 6 )=2n + 1 for n ≥ 3 and R(S n , W m )=3n - 2 for m odd and n ≥ m - 1 ≥ 2.
52799334
On the Editing Distance Between Undirected Acyclic Graphs
We consider the problem of comparing CUAL graphs (Connected, Undirected, Acyclic graphs with nodes being Labeled). This problem is motivated by the study of information retrieval for bio-chemical and molecular databases. Suppose we define the distance between two CUAL graphs G1 and G2 to be the weighted number of edit operations (insert node, delete node and relabel node) to transform G1 to G2. By reduction from exact cover by 3-sets, one can show that finding the distance between two CUAL graphs is NP-complete. In view of the hardness of the problem, we propose a constrained distance metric, called the degree-2 distance, by requiring that any node to be inserted (deleted) have no more than 2 neighbors. With this metric, we present an efficient algorithm to solve the problem. The algorithm runs in time O(N1N2D2) for general weighting edit operations and in time for integral weighting edit operations, where Ni, i=1, 2, is the number of nodes in Gi, D=min{d1, d2} and di is the maximum degree of Gi.
9131829
Memory Protection through Dynamic Access Control
Current anomaly detection schemes focus on control flow monitoring. Recently, Chen et al. discovered that a large category of attacks tamper program data but do not alter control flows. These attacks are not only realistic, but are also as important as classical attacks tampering control flows. Detecting these attacks is a critical issue but has received little attention so far. In this work, we propose an intrusion detection scheme with both compiler and micro-architecture support detecting data tampering directly. The compiler first identifies program regions in which the data should not be modified as per program semantics. Then the compiler performs an analysis to determine the conditions for modification of variables in different program regions and conveys this information to the hardware and the hardware checks the data accesses based on the information. If the compiler asserts that the data should not be modified but there is an attempt to do so at runtime, an attack is detected. The compiler starts with a basic scheme achieving maximum data protection but such a scheme also suffers from high performance overhead. We then attempt to reduce the performance overhead through different optimization techniques. Our experiments show that our scheme achieves strong memory protection with tight control over the performance degradation. Thus, our major contribution is to provide an efficient scheme to detect data tampering while minimizing the overhead
920164
Neuronal Tuning: To Sharpen or Broaden?
Sensory and motor variables are typically represented by a population of broadly tuned neurons. A coarser representation with broader tuning can often improve coding accuracy, but sometimes the accuracy may also improve with sharper tuning. The theoretical analysis here shows that the relationship between tuning width and accuracy depends crucially on the dimension of the encoded variable. A general rule is derived for how the Fisher information scales with the tuning width, regardless of the exact shape of the tuning function, the probability distribution of spikes, and allowing some correlated noise between neurons. These results demonstrate a universal dimensionality effect in neural population coding.
16277587
On Detection of Anomalous Routing Dynamics in BGP
BGP, the de facto inter-domain routing protocol, is the core component of current Internet infrastructure. BGP traffic deserves thorough exploration, since abnormal BGP routing dynamics could impair global Internet connectivity and stability. In this paper, two methods, signature-based detection and statistics-based detection, are designed and implemented to detect BGP anomalous routing dynamics in BGP UPDATEs. Signature-based detection utilizes a set of fixed patterns to search and identify routing anomalies. For the statistics-based detection, we devise five measures to model BGP UPDATEs traffic. In the training phase, the detector is trained to learn the expected behaviors of BGP from the historical long-term BGP UPDATEs dataset. It then examines the test dataset to detect “anomalies” in the testing phase. An anomaly is flagged when the tested behavior significantly differs from the expected behaviors. We have applied these two approaches to examine the BGP data collected by RIPE-NCC servers for a number of IP prefixes. Through manual analysis, we specify possible causes of some detected anomalies. Finally, comparing the two approaches, we highlight the advantages and limitations of each. While our evaluation is still preliminary, we have demonstrated that, by combining both signature-based and statistics-based anomaly detection approaches, our system can effectively and accurately identify certain BGP events that are worthy of further investigation.
7869643
Fast parallel algorithms for the unit cost editing distance between trees
We present three algorithms to find the distance. The first algorithm is a simple dynamic programming algorithm based on a postorder traversal whose complexity improves upon the best previously published algorithm due to Tai (T79 in JACM). The second and third algorithms are parallel algorithms based on the application of suffix trees to the comparison problem. The cost of executing these algorithms is a monotonic increasing function of the distance between the two trees. Results Let trees T I and T2 have numbers of levels L i and L 2 respectively. Let k be the actual distance between T 1 and T2. Let N be rain (IT11, IT2 ]). The asymptotic running times (assuming a concurrentread concurrent-write parallel random access machine) are: