CSES - KILO 2016 2/5

CSES - KILO 2016 2/5 - Results

Submission details
Task:	Lucky-SAT
Sender:	Kyynel ;_;
Submission time:	2016-09-13 17:46:31 +0300
Language:	C++
Status:	READY
Result:	ACCEPTED

Test results
test	verdict	time
#1	ACCEPTED	0.06 s	details
#2	ACCEPTED	0.06 s	details
#3	ACCEPTED	0.05 s	details
#4	ACCEPTED	0.06 s	details
#5	ACCEPTED	0.05 s	details
#6	ACCEPTED	0.06 s	details
#7	ACCEPTED	0.05 s	details
#8	ACCEPTED	0.06 s	details
#9	ACCEPTED	0.05 s	details
#10	ACCEPTED	0.16 s	details
#11	ACCEPTED	0.05 s	details
#12	ACCEPTED	0.06 s	details
#13	ACCEPTED	0.05 s	details
#14	ACCEPTED	0.05 s	details
#15	ACCEPTED	0.05 s	details
#16	ACCEPTED	0.05 s	details
#17	ACCEPTED	0.05 s	details
#18	ACCEPTED	0.05 s	details
#19	ACCEPTED	0.06 s	details
#20	ACCEPTED	0.05 s	details
#21	ACCEPTED	0.05 s	details
#22	ACCEPTED	0.05 s	details
#23	ACCEPTED	0.06 s	details
#24	ACCEPTED	0.05 s	details
#25	ACCEPTED	0.05 s	details
#26	ACCEPTED	0.05 s	details
#27	ACCEPTED	0.06 s	details
#28	ACCEPTED	0.05 s	details
#29	ACCEPTED	0.06 s	details
#30	ACCEPTED	0.05 s	details
#31	ACCEPTED	0.06 s	details

Code

#include <bits/stdc++.h>
#define ll long long
#define N (1<<17)

using namespace std;

int main () {
  int n, m;
  cin>>n>>m;
  int v[n][7];
  bool x[m + 1];
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < 7; j++) cin>>v[i][j];
  }
  srand(time(0));
  int l = 2500;
  while (true) {
    bool b = true;
    l--;
    for (int i = 1; i <= m; i++) x[i] = rand() % 2;
    for (int i = 0; i < n; i++) {
      bool a = 0;
      for (int j = 0; j < 7; j++) {
	int k = abs(v[i][j]);
	if (!x[k]) k = -k;
	if (k == v[i][j]) {
	  a = true;
	  break;
	}
      }
      if (!a) {
	b = false;
	break;
      }
    }
    if (b) {
      break;
    }
    if (!l) {
      cout<<"UNSAT"<<endl;
      return 0;
    }
  }
  cout<<"SAT"<<endl;
  for (int i = 1; i <= m; i++) cout<<x[i];
  cout<<endl;
}

Test details

Test 1

Verdict: ACCEPTED

input
`8 10 4 -8 7 -10 -3 -1 2 -8 3 10 4 2 -5 9 6 4 2 -7 3 -5 8 7 9 -4 -5 3 10 6 ...` view save

correct output
`SAT 1011110011` view save

user output
`SAT 0100001101` view save

Test 2

Verdict: ACCEPTED

input
`100 10000 -6030 -8236 5819 -6144 -5929 8...` view save

correct output
`SAT 001110010010111100001111011100...` view save

user output
`SAT 010000110111111101001110111100...` view save

Test 3

Verdict: ACCEPTED

input
`9 7258 -4067 5723 6991 3302 -6175 -41...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 000011010011110001101111001100...` view save

Test 4

Verdict: ACCEPTED

input
`100 7 5 6 7 -2 1 4 3 -2 -7 1 -4 -5 -3 -6 1 2 -7 -6 3 4 5 5 -6 1 7 -3 2 4 ...` view save

correct output
`SAT 0110101` view save

user output
`SAT 1111111` view save

Test 5

Verdict: ACCEPTED

input
`100 10000 5775 6449 -7316 -1958 7663 -52...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 101101110100001000111001100110...` view save

Test 6

Verdict: ACCEPTED

input
`69 3783 2525 94 604 3228 2004 3034 297...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 101101110100001000111001100110...` view save

Test 7

Verdict: ACCEPTED

input
`100 7 6 -4 5 -3 -2 -7 1 -7 5 -4 6 -1 2 -3 -7 -4 -2 -6 -5 3 1 5 2 6 3 -7 -1 4 ...` view save

correct output
`SAT 1110001` view save

user output
`SAT 1100010` view save

Test 8

Verdict: ACCEPTED

input
`100 10000 -4952 -1261 5003 -3310 -4222 -...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 110100011101100011100110000000...` view save

Test 9

Verdict: ACCEPTED

input
`98 9233 -8508 -1216 -293 7691 -1239 -8...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 100111100111111000000111001100...` view save

Test 10

Verdict: ACCEPTED

input
`100 7 1 -5 -1 4 3 -7 -2 -7 3 -4 -5 -3 5 4 7 1 3 -4 6 -5 -1 -4 1 4 3 -5 2 -1 ...` view save

correct output
`SAT 1011110` view save

user output
`SAT 0111001` view save

Test 11

Verdict: ACCEPTED

input
`100 10000 9359 -9980 -8247 6762 -1645 -1...` view save

correct output
`SAT 001110010010111100001111011100...` view save

user output
`SAT 101010001010100001111001100110...` view save

Test 12

Verdict: ACCEPTED

input
`86 5516 1198 -4516 -3212 3962 4144 -52...` view save

correct output
`SAT 000110010000010110101010010001...` view save

user output
`SAT 010100011110101001111110001000...` view save

Test 13

Verdict: ACCEPTED

input
`100 7 -2 -5 4 -1 3 -6 7 -5 -1 -4 -6 -7 -2 3 2 -5 6 -3 -7 -1 -4 6 5 4 -3 -7 2 -1 ...` view save

correct output
`SAT 1011110` view save

user output
`SAT 0001100` view save

Test 14

Verdict: ACCEPTED

input
`100 10000 -3460 -3462 -859 -6222 -8611 -...` view save

correct output
`SAT 110000101111101010101011100000...` view save

user output
`SAT 110011011010001000111001000111...` view save

Test 15

Verdict: ACCEPTED

input
`51 4584 3076 -1146 2966 -2803 -1829 22...` view save

correct output
`SAT 110101111110100100111110101011...` view save

user output
`SAT 110111010010110111010010011000...` view save

Test 16

Verdict: ACCEPTED

input
`100 7 -7 -3 2 -5 -6 -4 1 -7 -5 -2 -6 1 -3 4 -1 2 -5 3 -6 4 7 4 1 -2 3 7 -5 -6 ...` view save

correct output
`SAT 1011110` view save

user output
`SAT 0100011` view save

Test 17

Verdict: ACCEPTED

input
`100 10000 -3664 7325 3898 1141 1345 1792...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 111100011111100010111011001001...` view save

Test 18

Verdict: ACCEPTED

input
`69 3821 -2348 -2894 1432 2685 -2315 -5...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 101001010001101001110011010101...` view save

Test 19

Verdict: ACCEPTED

input
`100 7 -5 3 -7 4 -1 -2 6 -5 1 2 -7 4 6 -3 7 6 1 5 3 4 -2 2 -1 3 7 -5 -6 4 ...` view save

correct output
`SAT 1011110` view save

user output
`SAT 0111101` view save

Test 20

Verdict: ACCEPTED

input
`100 10000 5537 9593 -3117 6945 -8883 -16...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 000110101001011011011010000100...` view save

Test 21

Verdict: ACCEPTED

input
`38 7114 -531 4020 606 -1739 3340 1984 ...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 000101001100111010101111000111...` view save

Test 22

Verdict: ACCEPTED

input
`100 7 -1 -2 -3 6 -5 4 -7 6 1 3 7 -5 4 -2 -1 6 -2 -4 -7 -5 -3 7 -6 -1 -4 -5 -3 -2 ...` view save

correct output
`SAT 0110101` view save

user output
`SAT 1101010` view save

Test 23

Verdict: ACCEPTED

input
`100 10000 4814 3068 1204 -4824 8362 2537...` view save

correct output
`SAT 100100010000111111011101010111...` view save

user output
`SAT 010000011101011111101000010010...` view save

Test 24

Verdict: ACCEPTED

input
`12 972 237 465 -771 -243 -287 777 -31...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 100110110001111111111001100010...` view save

Test 25

Verdict: ACCEPTED

input
`100 7 -4 2 -6 -7 7 1 4 -4 6 -1 -2 1 -3 7 -3 5 -5 4 1 6 -6 -3 -7 3 5 2 -5 7 ...` view save

correct output
`SAT 1011110` view save

user output
`SAT 0101011` view save

Test 26

Verdict: ACCEPTED

input
`100 10000 3823 -9303 -9994 -8088 -5477 5...` view save

correct output
`SAT 001110010010111100001111011100...` view save

user output
`SAT 101111101100001000001110001101...` view save

Test 27

Verdict: ACCEPTED

input
`46 8903 -1276 4005 601 1022 -3390 -454...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 001010011001011110000100100110...` view save

Test 28

Verdict: ACCEPTED

input
`100 7 -7 -1 -3 6 5 4 2 1 3 -4 -5 -2 -6 -7 1 7 -5 -4 3 2 -6 3 -4 -1 2 6 -7 -5 ...` view save

correct output
`SAT 1000001` view save

user output
`SAT 1000010` view save

Test 29

Verdict: ACCEPTED

input
`100 10000 -8733 3546 -6093 6994 6990 -80...` view save

correct output
`SAT 110000101111101010101011100000...` view save

user output
`SAT 100001011110010101101011100010...` view save

Test 30

Verdict: ACCEPTED

input
`8 3876 2514 149 1455 1752 3677 -3806 ...` view save

correct output
`SAT 101111001101011000001011000111...` view save

user output
`SAT 000000110011010101011101001101...` view save

Test 31

Verdict: ACCEPTED

input
`100 10 -6 -3 -2 1 4 7 10 -6 1 4 5 7 8 9 -9 -8 -2 1 5 6 7 -9 -4 2 3 5 7 8 ...` view save

correct output
`SAT 1000111010` view save

user output
`SAT 0011111000` view save

KILO 2016 2/5

Lucky-SAT

Code

Test details

Test 1

Test 2

Test 3

Test 4

Test 5

Test 6

Test 7

Test 8

Test 9

Test 10

Test 11

Test 12

Test 13

Test 14

Test 15

Test 16

Test 17

Test 18

Test 19

Test 20

Test 21

Test 22

Test 23

Test 24

Test 25

Test 26

Test 27

Test 28

Test 29

Test 30

Test 31

Tasks

Submissions (Kyynel ;_;)