问题列表 - 第10542页

什么是停顿问题?

每当人们询问与编程有关的暂停问题时,人们会回答:"如果你只是添加一个循环,那么你就有了停止程序,因此无法自动完成任务 "

说得通.如果你的程序有一个无限循环,那么当你的程序运行时,你无法知道程序是否仍在处理输入,或者它是否只是无限循环.

但其中一些似乎反直觉.如果我正在编写一个暂停问题求解器,它将源代码作为输入,那该怎么办?rascher@localhost$ ./haltingSolver source.c

如果我的代码(source.c)看起来像这样:

for (;;) {  /* infinite loop */  }
Run Code Online (Sandbox Code Playgroud)

看起来我的程序看起来很容易."查看循环,看看条件.如果条件只是基于文字而没有变量,那么你总是知道循环的结果.如果有变量(例如while(x <10)),看看是否这些变量是永远修改的.如果没有,那么你总是知道循环的结果."

当然,这些检查不会是微不足道的(计算指针算术等),但这似乎不可能.例如:

int x = 0
while (x < 10) {}
Run Code Online (Sandbox Code Playgroud)

可以检测到.以及 - 尽管不是轻微的:

int x = 0
while (x < 10)
{
   x++;
   if (x == 10)
   {
      x = 0
   }
}
Run Code Online (Sandbox Code Playgroud)

那么用户输入呢?这就是踢球者,这就是让程序无法预测的原因.

int x = 0;
while (x < 10) 
{
   scanf("%d", &x); /* ignoring infinite scanf loop oddities */
}
Run Code Online (Sandbox Code Playgroud)

现在我的程序可以说:"如果用户输入10或更高,程序将停止.在所有其他输入,它将再次循环."

这意味着,即使有数百个输入,也应该能够列出程序停止的条件.实际上,当我编写程序时,我总是确保有人能够终止它!我并不是说由此产生的条件清单是微不足道的,但对我来说似乎并不可能.您可以从用户那里获取输入,使用它们来计算指针索引等等 - 但这只会增加条件的数量以确保程序终止,不会使它们无法枚举. …

computer-science halting-problem

52
推荐指数
8
解决办法
2万
查看次数

如何使用jQuery生成TinyURL

我正在尝试构建一个jQuery函数,这将允许我从其他链接生成一个TinyURL出于微博的原因(是的,推特)...我从James Padolsey那里找到了这个教程,但是我没有得到回复呼叫.

http://james.padolsey.com/javascript/create-a-tinyurl-with-jsonp/

function requestShortURL(longURL, success) {
    var API = 'http://reque.st/create.api.php?json&url=',
        URL = API + encodeURIComponent(longURL) + '&callback=?';
    console.log('tweet apit url: ' + URL);
    $.getJSON(URL, function(data){
        success && success(data.url);
    });
}

requestShortURL('http://www.mycompany.com', function(shortened){
    alert('new url: ' + shortened);
});
Run Code Online (Sandbox Code Playgroud)

jquery jquery-plugins tinyurl

5
推荐指数
1
解决办法
3619
查看次数

如何在Django中构建电子商务购物车?

是否有一本书或教程教授如何使用django或任何其他python框架构建购物车?

python django shopping-cart

1
推荐指数
2
解决办法
1万
查看次数

如何使用[YN}答案发送Y键击到dos命令?

我正在使用deltree命令,该命令希望用户使用Y或N进行确认.

我试过'echo Y | deltree ....'但得到了"该进程试图写入一个不存在的管道"错误.

还有另外一种方法吗?

dos batch-file

1
推荐指数
1
解决办法
1531
查看次数

你如何单元测试包含CSRF表单元素的Zend_Form?

我正在使用带有Zend_Form的CSRF隐藏哈希元素并尝试单元测试登录但不知道如何编写单元测试以包含该元素.查看文档并阅读尽可能多的教程.我甚至都把它们全都搞熟了,但没有人提到这一点.

phpunit zend-framework csrf zend-form

6
推荐指数
2
解决办法
2852
查看次数

C#函数找到两个数字的增量

我只是想知道.net框架中是否有任何内置,我可以轻松返回两个数字之间的增量?我编写的代码可以做到这一点,但听起来应该已经在框架中了.

c# math

-3
推荐指数
6
解决办法
1万
查看次数

@staticmethod 给出 SyntaxError: invalid syntax

我一直在使用 python 脚本很长一段时间,突然它给了我:

  File "youtube-dl.py", line 103
    @staticmethod
    ^
SyntaxError: invalid syntax
Run Code Online (Sandbox Code Playgroud)

如果您想查看脚本,就在这里:http : //bitbucket.org/rg3/youtube-dl/raw/2009.06.29/youtube-dl

可能是什么原因?

更新

我正在使用 python 版本 Python 2.3.4。

python

2
推荐指数
1
解决办法
2020
查看次数

如何在XAML中为WPF ListView禁用某些项目

好的,抱歉这个过于宽泛的问题,但让我们看看你们的建议....

我有一个XML文件加载的WPF ListView,使用XAML(下面的代码)

我有第二个XML文件,其中的项目与我的ListView中的项目相匹配.但是,如果第二个文件中没有匹配项,那么我希望禁用ListItem.

一个简单的例子:

我的ListView包含在其中:

                   Joe
                   Fred
                   Jim  
Run Code Online (Sandbox Code Playgroud)

(因为它加载了第一个XML文件)

我的第二个XML文件(基本上):

                  Joe
                  Jim
Run Code Online (Sandbox Code Playgroud)

我希望ListView以某种方式使用第二个文件,导致"Fred"被禁用.

我假设它将是某种"过滤器"我将在XAML中的某处应用.

<ListView Name="lvwSourceFiles" 
          Margin="11,93,0,12" VerticalContentAlignment="Center" 
          HorizontalAlignment="Left" Width="306"
          Cursor="Hand" TabIndex="6" 
          ItemsSource="{Binding}"
          SelectionMode="Multiple"
          SelectionChanged="lvwSourceFiles_SelectionChanged" >
    <ListBox.DataContext>
        <XmlDataProvider x:Name="xmlSourceFiles" XPath="AssemblyUpdaterSource/sources/source/File" />
    </ListBox.DataContext>
    <ListView.ItemContainerStyle>
        <Style TargetType="{x:Type ListViewItem}">
            <EventSetter Event="PreviewMouseRightButtonDown"
                         Handler="OnSourceListViewItemPreviewMouseRightButtonDown" />
        </Style>
    </ListView.ItemContainerStyle>
</ListView>
Run Code Online (Sandbox Code Playgroud)

c# wpf xaml listview filter

2
推荐指数
1
解决办法
1万
查看次数

计算Neo4j中的原语

我一直在读通过的文件Neo4j的,它的成分,还没有遇到过的功能,让我查询的图形总数原语(节点,关系和属性).这个功能是否存在于某个地方,或者我是否必须编写遍历整个图表的代码?

java neo4j

5
推荐指数
1
解决办法
1124
查看次数

互动网站原型设计

我想快速为网站创建新功能的原型.我正在寻找一种方法:

  • 围绕现有的复杂网站构建
  • 允许互动
  • 可以快速轻松地尝试新事物

我想象一些允许我说"渲染这个网站的东西,但是在这个带有这样的网页的网页上,标记我正在用贴图在页面上绘图,如果有人点击它,就把它们移到这里".

或者可能,"这是一个网站的屏幕截图.如果有人点击此框,请向他们显示其他截图".

你们用什么来构建网站UI功能的原型?

user-interface prototype

5
推荐指数
0
解决办法
7378
查看次数