Limits 1s, 512 MB

In your free time, you like to design various electrical circuits to give a hard time to your local circuit makers by ordering them to build it for you.

Recently, a skilled circuit maker has appeared in town and helping all the others by representing your given circuits as a planar graph. A planar graph is such a graph that can be drawn on the plane in such a way that its edges intersect only at their endpoints. In other words, it can be drawn in such a way that no edges cross each other. It is crucial for a circuit to be a planar graph. You should also note that, even if you draw a graph and think it as non-planar, it maybe possible to represent it as a planar graph. On the image below, by looking at the first image, it may seem like it's a non-planar graph. But it can represented in the following two ways as a planar graph. So previously the circuits you designed thinking as a non-planar graph was somehow represented as a planar graph by this newcomer.

Now for tackling this skilled maker, you have to give him a non-planar graph, so that he cannot build a circuit using it. You have already written a computer program that generates a random connected simple graph. Now your work is to determine if the generated graph is non-planar or not.

Checking planarity is hard. After some digging, you came upon these following formula which will ensure that if the conditions are true, the graph will be non-planar. There might be some graphs which are non-planar and doesn't meet these conditions but you don't want to be bothered by them. (The conditions are necessary but not sufficient)

For a connected planar graph having v vertices and e edges, where v ≥ 3, the following holds:

  • If there are no cycles of length 3, then e ≤ 2v − 4.
  • Else, e ≤ 3v − 6.

Using this formula, you job is to check for each given graph, if it is non-planar or not.

Input

Input starts with an integer TT (T110T ≤ 110), denoting the number of test cases.

Each test case starts with a line containing two integers, VV and EE (0V10000 ≤ V ≤ 1000, 0E40000 ≤ E ≤ 4000). Each of the next EE lines contains two integers, xx and yy, an edge between vertices xx and yy (0x,y<V0 ≤ x, y < V).

Output

For each test case, print the case number and “Yes” or “No”, without the quotes, depending on the graph being non-planar or not.

Sample

InputOutput
2
3 3
0 1
0 2
1 2
5 10
0 1
0 2
0 3
0 4
1 2
1 3
1 4
2 3
2 4
3 4
Case 1: No
Case 2: Yes

Submit

Login to submit.

Statistics

73% Solution Ratio
zscoderEarliest, Dec '16
darkhorse226Fastest, 0.0s
NorendroLightest, 131 kB
fsRakibShortest, 462B
Toph uses cookies. By continuing you agree to our Cookie Policy.