79 questions
- Bountied 0
- Unanswered
- Frequent
- Score
- Trending
- Week
- Month
- Unanswered (my tags)
0
votes
1
answer
102
views
Example of terminating program that cannot be written in safe Agda
In Agda with --safe, it is impossible to write a nonterminating program. Acknowledging the halting problem, it follows that there are terminating programs that cannot be written in safe Agda. But I ...
-1
votes
1
answer
954
views
Getting Error in flutter What went wrong: Execution failed for task ':app:checkDebugAarMetadata'. >
i am using the flutter_multi_image_picker this dependency i am getting error of > Could not find com.sangcomz:FishBun:0.11.2. this is old dependency is this expire or something else if this is ...
0
votes
0
answers
98
views
What problem type the Power Set belong to?
I don't seem to find any much resource about "Power Set" problem.
Is Power Set a NP-Complete or NP-Hard problem? And why? Can someone advise me?
0
votes
1
answer
2k
views
The difference between halting and accepting in a Turing machine
I use the textbook "an introduction to formal languages and automata", 6th edition by Peter Linz.
In Definition 11.2, it seems that a Turing machine "M accepts language L" and &...
1
vote
1
answer
203
views
Inputs to Program to Illustrate Halting Problem
Is this illustration of the haling problem correct?
function halts(func) {
// Insert code here that returns "true" if "func" halts and "false" otherwise.
}
function ...
0
votes
0
answers
455
views
MySQL keeps ignoring MAX_EXECUTION_TIME
I am running a node server with mysql8.
This query keeps popping up and freezing.
SELECT /*+ MAX_EXECUTION_TIME(2000) */ COUNT(*) FROM my_table
Even though this query have MAX_EXECUTION_TIME ...
-2
votes
2
answers
330
views
Discrete Logarithm in Prolog
I would like to check which of the two programs will stop:
P1() {
X = 819688;
while (X != 77) {
X = (X*12367+3466) mod 4294967296;
}
}
P2() {
X = 955725;
while (X != 77) {
...
user avatar
user502187
0
votes
0
answers
224
views
Is Rice's Theorem equivalent to the Halting problem?
As I understand it Rice's Theorem seems to imply the existence of the Halting problem. That is, with Rice's Theorem, we can prove that the Halting problem is undecidable. However, to me, it seems like ...
1
vote
0
answers
125
views
Every np-complete problem reduces to the Halting problem. Is this true?
I guess that every np-complete problem reduces to the np-hard problem, so the given statement is true. But don't know how to prove it.
3
votes
1
answer
477
views
poweroff redirect system halted
I'm playing with image built from Builtroot, and run with QEMU. But when I run "poweroff" command, machine not shutdown. And "System halted" appear! (See console output bellow)
# poweroff
# Stopping ...
0
votes
4
answers
286
views
Verifying halting-problem on self-implemented pseudo-assembly
I wrote a very simple implementation of what could be a similarity to Assembly/machine code.
It is even capable of recursion as in this example:
9 6
IFEQ R0,0
RET 1
ENDIF
MOV R1,R0
SUB R1,1
CALL R1
...
1
vote
1
answer
90
views
Determining a program's execution time by its length in bits?
This is a question popped into my mind while reading the halting problem, collatz conjecture and Kolmogorov complexity. I have tried to search for something similar but I was unable to find a ...
user avatar
user12546101
1
vote
0
answers
1k
views
sftp large file(>1GB)failed with only specific data bytes transferred.Why?
Currently our system (Client) on AWS EC2 instance encountered a sftp problem when trying to send a large file to a customer remote sftp server ("160.xxx.xxx.35.bc.googleusercontent.com). For the small ...
1
vote
1
answer
6k
views
How to escape infinite loop in VBA / VB.NET
bit of a stupid question, but I couldn't find any answers to it.
Sadly, I made a very shameful error, where I created an endless loop by accident.
Private Sub Textbox1_Change()
Do While Len(Trim(...
0
votes
2
answers
83
views
Python - long halt while calculating palindrome number
I'm trying to find largest palindromic number made from the product of two 3-digit numbers with my code. it works fine for 2-digit and 3-digit, but when I try it with 4-digit numbers, it doesn't work ...