Same code: but C++ 17 gave a TLE, while received accepted verdict using C++ 20.

Блог пользователя Rukashi

Автор Rukashi, история, 3 года назад, По-английски

Hi guys, so here's the thing:

I was so frustrated while submitting a solution to this problem : D. Reality Show, and constantly receiving a TLE verdict. I was pretty sure that the time complexity of my code was acceptable, so I decided to read the code from another. It turns out, my solution resembles their code, and after being confused for a while, I realized that they submitted it in C++ 20. After changing the language, my previous TLE code was accepted. I'm really confused right now; it's like there are some magic in C++ 20 or something.

Here is my submission:

225519286 (here's the C++ 17) 225519370 (here's the C++ 20)

Can anyone explain this to me? Thanks! :3

Rukashi
3 года назад
23

Комментарии (23)

Написать комментарий?

VLTisME986

3 года назад, скрыть # |

-7

haha!?

→ Ответить

i_love_turtles

3 года назад, скрыть # ^ |

-9

why laughing

→ Ответить

VLTisME986

3 года назад, скрыть # ^ |

-7

isnt it funny!?

→ Ответить

i_love_turtles

3 года назад, скрыть # ^ |

-11

yes it is

haha!

→ Ответить

VLTisME986

3 года назад, скрыть # ^ |

-12

haha!!

→ Ответить

i_love_turtles

3 года назад, скрыть # ^ |

agree

→ Ответить

0x0002

3 года назад, скрыть # |

← Rev. 2 →

As it says, C++20 is 64bit, but C++17 is 32bit.

Maybe this will make your code faster?

If you try using C++17(64bit) one, you can also AC.

→ Ответить

pajenegod

3 года назад, скрыть # ^ |

+22

Ye, this has nothing to do with C++17 vs C++20. For example, submitting in C++17(64 bit) also results in AC 225529315.

For the future, my advice is to always submit using C++20(64 bit). The 32 bit versions are a relic of the past that shouldn't be used.

→ Ответить

AverageBasilEnjoyer

3 года назад, скрыть # ^ |

Interesting, but for some reason when I was testing out my BIT template, I always get RE with C++ 20 but the same code got accepted with C++ 17, can you check why this is happening? C++ 20: https://codeforces.me/contest/61/submission/223433081 C++ 17: https://codeforces.me/contest/61/submission/223433050

→ Ответить

timreizin

3 года назад, скрыть # ^ |

Your suffix_vec vector has size n, but you try to access n-th element

→ Ответить

AverageBasilEnjoyer

3 года назад, скрыть # ^ |

Oh wow! then I wonder, why in C++ 17 it would pass...

→ Ответить

pajenegod

3 года назад, скрыть # ^ |

+16

That's just how undefined behaviour works in C++. This is one of the big fundamental differences between coding in a language like Python compared to C++. If you try to do something unsupported in Python then it gives you an error message, but in C++ you don't know what will happen.

→ Ответить

-WIDA-

3 года назад, скрыть # ^ |

← Rev. 2 →

In my personal experience, this is usually due to different operating system versions on the evaluation machines. In summary, Windows tend to be more lenient on such undefined behavior.

Below are some of my personal findings. They may not be correct, but they might give you some hints.

If you carefully read each item in the language column (especially the content in parentheses), you will notice that the 64-bit versions are all based on Windows (msys2 and winlibs). I typically use the following program for testing:

#include <bits/stdc++.h>

int main() {
    std::map<int, int> dic;
    long long x = dic.size() - 1;
    std::cout << x << "\n";
    return 0;
}

When compiled on a Windows system, you will get $$$-1$$$, which is exactly what we want. However, when compiled on Non-Windows (I can't be sure what system they are using, but it's highly likely to be Lumix), you will get a random number. You can try testing it on CodeForces Custom Test.

→ Ответить

0x0002

3 года назад, скрыть # ^ |

What might be a reason is that, size() returns a number of size_t type, which is unsigned. That means, if you minus one, you won't get a correct answer.

→ Ответить

pajenegod

3 года назад, скрыть # ^ |

+23

That is not undefined behaviour.

The type of .size() is size_t which is an unsigned 32 bit integer on 32 bit systems, and an unsigned 64 bit integer on 64 bit systems.

The reason the output is 4294967295 on 32 bit systems is that

unsigned int x = -1; // x becomes 4294967295 
long long y = x; // y becomes 4294967295

The reason the output is -1 on 64 bit systems is that

unsigned long long x = -1; // x becomes 18446744073709551615
long long y = x; // y becomes -1

A simple way to avoid this bug is to cast .size() to an int. That way the result will always be -1 on both 32 bit systems and 64 bit systems.

#include <bits/stdc++.h>

int main() {
    std::map<int, int> dic;
    long long x = (int) dic.size() - 1;
    std::cout << x << "\n";
    return 0;
}

→ Ответить

-WIDA-

3 года назад, скрыть # ^ |

In the past, I only knew this could be used to test whether it is a 64-bit system，and now I understand the principle behind it. Thank you!

→ Ответить

tkacper

3 года назад, скрыть # ^ |

← Rev. 3 →

There are some uses for 32-bit, especially if memory is the limiting factor. This code 223013153 gets RTE on C++20 (64) because of stack overflow, on other compilers it gets AC.

I was curious about that and measured the size of stack frame on each compiler:

G++20 (64) 288 B

G++17 (64) 192 B

G++17 112 B

(by measured I mean I saved the address of some local variable to a global pointer, and printed the difference of this pointer with local variable of the recursive function call — no idea if this is guaranted to be correct, but it is consistent with the fact that only G++20 RTEs)

This is just one submission, but even if G++20 (64) was as efficient as G++17 (64) this still leaves nearly 2x memory usage compared to 32-bit.

→ Ответить